Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
 
ISBN
978-3-85448-042-6
 
Pages Seiten
269
 
Editor Herausgeber_in
 
Publisher Herausgeber
TU Wien Academic Press
 
Place of publishing Erscheinungsort
Wien
 
First Edition Erstausgabe
First Edition
 
Volume Band
1
 

Publications Publikationen

Filter:
Subject:  computer-aided system design

Results 1-20 of 34 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
108_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Kristin Y. Rozier Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationInproceedings Konferenzbeitrag 2020
224_Angelic Checking within Static Driver Verifier Towards high_precision defects without (modeling) cost.pdf.jpgLahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costKonferenzbeitrag Inproceedings 2020
301_Anytime Algorithms for MaxSAT and Beyond.pdf.jpgNadel, Alexander Anytime Algorithms for MaxSAT and BeyondKonferenzbeitrag Inproceedings 2020
422_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdf.jpgLin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksKonferenzbeitrag Inproceedings 2020
518_Automating Compositional Analysis of Authentication Protocols.pdf.jpgZhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. Automating Compositional Analysis of Authentication ProtocolsKonferenzbeitrag Inproceedings 2020
623_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti Automating Modular Verification of Secure Information FlowKonferenzbeitrag Inproceedings 2020
711_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash Distributed Bounded Model CheckingInproceedings Konferenzbeitrag 2020
807_Effective System Level Liveness Verification.pdf.jpgFedotov, Alexander ; Keiren, Jeroen ; Schmaltz, Julien Effective System Level Liveness VerificationInproceedings Konferenzbeitrag 2020
912_EUFicient Reachability for Software with Arrays.pdf.jpgBueno, Denis ; Cox, Arlen ; Sakallah, Karem EUFicient Reachability for Software with ArraysInproceedings Konferenzbeitrag 2020
1006_The FMCAD 2020 Student Forum.pdf.jpgSchrammel, Peter The FMCAD 2020 Student ForumKonferenzbeitrag Inproceedings 2020
1121_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna Formal Methods with a Touch of MagicKonferenzbeitrag Inproceedings 2020
1202_Formal Verification for Natural and Engineered Biological Systems.pdf.jpgKugler, Hillel Formal Verification for Natural and Engineered Biological SystemsInproceedings Konferenzbeitrag 2020
1305_From Correctness to High Quality.pdf.jpgKupferman, Orna From Correctness to High QualityKonferenzbeitrag Inproceedings 2020
1404_How testable is business software.pdf.jpgSchrammel, Peter How testable is business software?Konferenzbeitrag Inproceedings 2020
1514_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha Incremental Verification by SMT-based Summary RepairInproceedings Konferenzbeitrag 2020
1617_Learning Properties in LTL ∩ ACTL from Positive Examples Only.pdf.jpgEhlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel Learning Properties in LTL ∩ ACTL from Positive Examples OnlyKonferenzbeitrag Inproceedings 2020
1725_Model Checking Software_Defined Networks with Flow Entries that Time Out.pdf.jpgKlimis, Vasileios ; Parisis, Georg ; Reus, Bernhard Model Checking Software-Defined Networks with Flow Entries that Time OutKonferenzbeitrag Inproceedings 2020
1828_On Optimizing a Generic Function in SAT.pdf.jpgNadel, Alexander On Optimizing a Generic Function in SATKonferenzbeitrag Inproceedings 2020
1920_Parallelization Techniques for Verifying Neural Networks.pdf.jpgWu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020
2034_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusKonferenzbeitrag Inproceedings 2020