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 74 (Search time: 0.116 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
2Vaandrager, Frits Active Automata Learning: from L* to L#Inproceedings Oct-2021
3Kamara, Seny Algorithms for the PeopleInproceedings Oct-2021
424_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
501_Anytime Algorithms for MaxSAT and Beyond.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer Anytime Algorithms for MaxSAT and BeyondInproceedings2020
622_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
718_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
823_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
9Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Oct-2021
10Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkInproceedings Oct-2021
11Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings Oct-2021
12Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierInproceedings Oct-2021
13Le-2021-Data-driven Optimization of Inductive Generalization-vor.pdf.jpgLe, Nham ; Si, Xujie ; Gurfinkel, Arie  Data-driven Optimization of Inductive GeneralizationInproceedings Konferenzbeitrag Oct-2021
14Golia-2021-Designing Samplers is Easy The Boon of Testers-vor.pdf.jpgGolia, Priyanka ; Soos, Mate ; Chakraborty, Sourav ; Meel, Kuldeep S. Designing Samplers is Easy: The Boon of TestersInproceedings Oct-2021
1511_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash ; Ivrii, Alexander ; Strichman, Ofer Distributed Bounded Model CheckingInproceedings2020
16Kokologiannakis-2021-Dynamic Partial Order Reductions for Spinloops-vor.pdf.jpgKokologiannakis, Michalis ; Ren, Xiaowei ; Vafeiadis, Viktor Dynamic Partial Order Reductions for SpinloopsInproceedings Oct-2021
1707_Effective System Level Liveness Verification.pdf.jpgFedotov, Alexander ; Keiren, Jeroen J.A. ; Schmaltz, Julien ; Ivrii, Alexander ; Strichman, Ofer Effective System Level Liveness VerificationInproceedings2020
18Gao-2021-End-to-End Formal Verification of a RISC-V Processor Extended wi...-vor.pdf.jpgGao, Dapeng ; Melham, Tom End-to-End Formal Verification of a RISC-V Processor Extended with Capability PointersInproceedings Oct-2021
19Sewell-2021-Engineering with Full-scale Formal Architecture Morello, CHER...-vor.pdf.jpgSewell, Peter Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-VInproceedings Oct-2021
2012_EUFicient Reachability for Software with Arrays.pdf.jpgBueno, Denis ; Cox, Arlen ; Sakallah, Karem ; Ivrii, Alexander ; Strichman, Ofer EUFicient Reachability for Software with ArraysInproceedings2020