Conference Series: Formal Methods in Computer-Aided Design

Series cover Cover der Schriftenreihe
Weissenbacher_Cover_VLB.png picture
 
Title (de) Titel (de)
Conference Series: Formal Methods in Computer-Aided Design
 
Title (en) Titel (en)
Conference Series: Formal Methods in Computer-Aided Design
 
Description (de) Beschreibung (de)
Formale Methoden in rechnerunterstützter Systementwicklung (FMCAD) ist eine Konferenzreihe über Theorie und Anwendung von formalen Methoden in Hardware- und Systemverifikation. FMCAD stellt ein führendes Forum für Forschende in Wissenschaft und Industrie dar, wo bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für formale Logik in Rechensystemen präsentiert und diskutiert werden können. FMCAD deckt formale Aspekte der rechnerunterstützten Systementwicklung, sowie Verifikation, Spezifikation, Synthese und Testung.
 
Description (en) Beschreibung (en)
Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
 
e-ISSN
2708-7824
 
Editor Herausgeber_in
 
Publisher Verlag
TU Wien Academic Press
First year in reposiTUm Erstes Jahr in reposiTUm
2020
 

Publications

Results 1-20 of 35 (Search time: 0.008 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
108_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. ; Ivrii, Alexander ; Strichman, Ofer Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationInproceedings2020
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 ; Ivrii, Alexander ; Strichman, Ofer Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costInproceedings2020
301_Anytime Algorithms for MaxSAT and Beyond.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer Anytime Algorithms for MaxSAT and BeyondInproceedings2020
422_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdf.jpgLin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ; Ivrii, Alexander ; Strichman, Ofer ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksInproceedings2020
518_Automating Compositional Analysis of Authentication Protocols.pdf.jpgZhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. ; Ivrii, Alexander ; Strichman, Ofer Automating Compositional Analysis of Authentication ProtocolsInproceedings2020
623_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti ; Ivrii, Alexander ; Strichman, Ofer Automating Modular Verification of Secure Information FlowInproceedings2020
711_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash ; Ivrii, Alexander ; Strichman, Ofer Distributed Bounded Model CheckingInproceedings2020
807_Effective System Level Liveness Verification.pdf.jpgFedotov, Alexander ; Keiren, Jeroen J.A. ; Schmaltz, Julien ; Ivrii, Alexander ; Strichman, Ofer Effective System Level Liveness VerificationInproceedings2020
912_EUFicient Reachability for Software with Arrays.pdf.jpgBueno, Denis ; Cox, Arlen ; Sakallah, Karem ; Ivrii, Alexander ; Strichman, Ofer EUFicient Reachability for Software with ArraysInproceedings2020
1006_The FMCAD 2020 Student Forum.pdf.jpgSchrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer The FMCAD 2020 Student ForumInproceedings2020
1121_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer Formal Methods with a Touch of MagicInproceedings2020
1202_Formal Verification for Natural and Engineered Biological Systems.pdf.jpgKugler, Hillel ; Ivrii, Alexander ; Strichman, Ofer Formal Verification for Natural and Engineered Biological SystemsInproceedings2020
1305_From Correctness to High Quality.pdf.jpgKupferman, Orna ; Ivrii, Alexander ; Strichman, Ofer From Correctness to High QualityInproceedings2020
1404_How testable is business software.pdf.jpgSchrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer How testable is business software?Inproceedings2020
1514_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer Incremental Verification by SMT-based Summary RepairInproceedings2020
1617_Learning Properties in LTL ∩ ACTL from Positive Examples Only.pdf.jpgEhlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel ; Ivrii, Alexander ; Strichman, Ofer Learning Properties in LTL ∩ ACTL from Positive Examples OnlyInproceedings2020
1725_Model Checking Software_Defined Networks with Flow Entries that Time Out.pdf.jpgKlimis, Vasileios ; Parisis, Georg ; Reus, Bernhard ; Ivrii, Alexander ; Strichman, Ofer Model Checking Software-Defined Networks with Flow Entries that Time OutInproceedings2020
1828_On Optimizing a Generic Function in SAT.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer On Optimizing a Generic Function in SATInproceedings2020
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 ; Ivrii, Alexander ; Strichman, Ofer Parallelization Techniques for Verifying Neural NetworksInproceedings2020
20Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf.jpgIvrii, Alexander ; Strichman, Ofer Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020Proceedings2020