Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
 
ISBN
978-3-85448-053-2
 
Editor Herausgeber_in
 
Publisher Herausgeber
TU Wien Academic Press
 
DOI
10.34727/2022/isbn.978-3-85448-053-2
 

Publications Publikationen

Results 21-40 of 45 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Hjort-2022-On Applying Model Checking in Formal Verification-vor.pdf.jpgHjort, Håkan On Applying Model Checking in Formal VerificationKonferenzbeitrag Inproceedings Oct-2022
22Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy On Optimizing Back-Substitution Methods for Neural Network VerificationKonferenzbeitrag Inproceedings Oct-2022
23Schultz-2022-Plain and Simple Inductive Invariant Inference for Distribut...-vor.pdf.jpgSchultz, William ; Dardik, Ian ; Tripakis, Stavros Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+Inproceedings Konferenzbeitrag Oct-2022
24Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
25Li-2022-Proving Robustness of KNN Against Adversarial Data Poisoning-vor.pdf.jpgLi, Yannan ; Wang, Jingbo ; Wang, Chao Proving Robustness of KNN Against Adversarial Data PoisoningKonferenzbeitrag Inproceedings Oct-2022
26Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles The RAPID Software Verification FrameworkKonferenzbeitrag Inproceedings Oct-2022
27Maderbacher-2022-Reactive Synthesis Modulo Theories using Abstraction Ref...-vor.pdf.jpgMaderbacher, Benedikt ; Bloem, Roderick Reactive Synthesis Modulo Theories using Abstraction RefinementInproceedings Konferenzbeitrag Oct-2022
28Loeoew-2022-Reconciling Verified-Circuit Development and Verilog Development-vor.pdf.jpgLööw, Andreas Reconciling Verified-Circuit Development and Verilog DevelopmentKonferenzbeitrag Inproceedings Oct-2022
29Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
30Chen-2022-Reducing NEXP-complete problems to DQBF-vor.pdf.jpgChen, Fa-Hsun ; Huang, Shen-Chang ; Lu, Yu-Cheng ; Tan, Tony Reducing NEXP-complete problems to DQBFKonferenzbeitrag Inproceedings Oct-2022
31Andronick-2022-The seL4 Verification Journey How Have the Challenges and ...-vor.pdf.jpgAndronick, June The seL4 Verification Journey: How Have the Challenges and Opportunities EvolvedKonferenzbeitrag Inproceedings Oct-2022
32Flatt-2022-Small Proofs from Congruence Closure-vor.pdf.jpgFlatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel Small Proofs from Congruence ClosureKonferenzbeitrag Inproceedings Oct-2022
33Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022
34Yu-2022-Stratified Certification for k-Induction-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Stratified Certification for k-InductionKonferenzbeitrag Inproceedings Oct-2022
35Kalita-2022-Synthesis of Semantic Actions in Attribute Grammars-vor.pdf.jpgKalita, Pankaj Kumar ; Kumar, Miriyala Jeevan ; Roy, Subhajit Synthesis of Semantic Actions in Attribute GrammarsInproceedings Konferenzbeitrag Oct-2022
36Daly-2022-Synthesizing Instruction Selection Rewrite Rules from RTL using...-vor.pdf.jpgDaly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat Synthesizing Instruction Selection Rewrite Rules from RTL using SMTKonferenzbeitrag Inproceedings Oct-2022
37Zhang-2022-Synthesizing Locally Symmetric Parameterized Protocols from Te...-vor.pdf.jpgZhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar Synthesizing Locally Symmetric Parameterized Protocols from Temporal SpecificationsKonferenzbeitrag Inproceedings Oct-2022
38Ebnenasir-2022-Synthesizing Self-Stabilizing Parameterized Protocols with...-vor.pdf.jpgEbnenasir, Ali Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded VariablesInproceedings Konferenzbeitrag Oct-2022
39Grover-2022-Synthesizing Transducers from Complex Specifications-vor.pdf.jpgGrover, Anvay ; Ehlers, Ruediger ; D'Antoni, Loris Synthesizing Transducers from Complex SpecificationsInproceedings Konferenzbeitrag Oct-2022
40Bryant-2022-TBUDDY A Proof-Generating BDD Package-vor.pdf.jpgBryant, Randal TBUDDY: A Proof-Generating BDD PackageKonferenzbeitrag Inproceedings Oct-2022