المؤلفون: Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark

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

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

المؤلفون: Chong, Nathan, Cook, Byron, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz-Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

المصدر: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2020 IEEE/ACM 42nd International Conference on. :11-20 Oct, 2020

Relation: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

المؤلفون: Cook, Byron, Dobel, Bjorn, Kroening, Daniel, Manthey, Norbert, Pohlack, Martin, Polgreen, Elizabeth, Tautschnig, Michael, Wieczorkiewicz, Pawel

المصدر: 2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :185-193 Sep, 2020

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

المؤلفون: Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten

المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018

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

المؤلفون: Cook, Byron, Fuhs, Carsten, Nimkar, Kaustubh, O'Hearn, Peter

المصدر: 2014 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2014. :67-74 Oct, 2014

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

المؤلفون: Cook, Byron, Khlaaf, Heidy, Piterman, Nir

المصدر: 2014 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2014. :75-82 Oct, 2014

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

المؤلفون: BARBOSA, HANIEL, BARRETT, CLARK, COOK, BYRON, DUTERTRE, BRUNO, KREMER, GEREON, LACHNITT, HANNA, NIEMETZ, AINA, NÖTZLI, ANDRES, OZDEMIR, ALEX, PREINER, MATHIAS, REYNOLDS, ANDREW, TINELLI, CESARE, ZOHAR, YONI

المصدر: Communications of the ACM; Oct2023, Vol. 66 Issue 10, p86-95, 10p, 1 Color Photograph, 1 Black and White Photograph, 2 Diagrams

مصطلحات موضوعية: REASONING, AUTOMATION, DEBUGGING, COMPUTER security vulnerabilities, SATISFIABILITY (Computer science), TRUST

المؤلفون: Backes, John, Bayless, Sam, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Hu, Alan J., Kahsai, Temesghen, Kocik, Bill, Kotelnikov, Evgenii, 1990, Kukovec, Jure, McLaughlin, Sean, Reed, Jason, Rungta, Neha, Sizemore, John, Stalzer, Mark, Srinivasan, Preethi, Subotić, Pavle, Varming, Carsten, Whaley, Blake

المصدر: 31st International Conference on Computer Aided Verification, CAV 2019, New York, USA Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11562 LNCS:231-241

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/511601
https://research.chalmers.se/publication/511601/file/511601_Fulltext.pdf

المؤلفون: Backes, John^Aff10, Berrueco, Ulises^Aff10, Bray, Tyler^Aff10, Brim, Daniel^Aff10, Cook, Byron^Aff10, Gacek, Andrew^Aff10, Jhala, Ranjit^Aff10, Luckow, Kasper^Aff10, McLaughlin, Sean^Aff10, Menon, Madhav^Aff10, Peebles, Daniel^Aff10, Pugalia, Ujjwal^Aff10, Rungta, Neha^Aff10, Schlesinger, Cole^Aff10, Schodde, Adam^Aff10, Tanuku, Anvesh^Aff10, Varming, Carsten^Aff10, Viswanathan, Deepa^Aff10

المساهمون: 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, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Lahiri, Shuvendu K., editor^Aff8, Wang, Chao, editor^Aff9

المصدر: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. 12224:165-176

المؤلفون: Cook, Byron^{Aff1, Aff2}, Khazem, Kareem^{Aff1, Aff2}, Kroening, Daniel, Tasiran, Serdar, Tautschnig, Michael^{Aff1, Aff4}, Tuttle, Mark R.

المصدر: Formal Methods in System Design: An International Journal. 57(1):34-52