المؤلفون: Priya, Siddharth, Gurfinkel, Arie

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Software Engineering, D.2.4

URL الوصول: http://arxiv.org/abs/2408.04043

المؤلفون: Wesley, Scott, Christakis, Maria, Navas, Jorge A., Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2407.08455

المؤلفون: Tafese, Joseph, Garcia-Contreras, Isabel, Gurfinkel, Arie

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :55-63 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Priya, Siddharth, Su, Yusen, Bao, Yuyan, Zhou, Xiang, Vizel, Yakir, Gurfinkel, Arie

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :214-224 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: K, Hari Govind V, Garcia-Contreras, Isabel, Shoham, Sharon, Gurfinkel, Arie

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2306.17765

المؤلفون: Garcia-Contreras, Isabel, K, Hari Govind V, Shoham, Sharon, Gurfinkel, Arie

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2306.10009

المؤلفون: Hari Govind, V. K.^Aff9, Garcia-Contreras, Isabel^Aff9, Shoham, Sharon^Aff10, Gurfinkel, Arie^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Finkbeiner, Bernd, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:43-60

المؤلفون: Le, Nham, Si, Xujie, Gurfinkel, Arie

المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :86-95 Oct, 2021

Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Dureja, Rohit, Gurfinkel, Arie, Ivrii, Alexander, Vizel, Yakir

المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :63-71 Oct, 2021

Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Hari Govind, V K, Shoham, Sharon, Gurfinkel, Arie

المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :77-85 Oct, 2021

Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)