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 120 (Search time: 0.006 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 ExplorationInproceedings 2020
2Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpgRaghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ; Griggio, Alberto ; Rungta, Neha ACORN Network Control Plane Abstraction using Route NondeterminismInproceedings Oct-2022
3Vaandrager, Frits Active Automata Learning: from L* to L#Inproceedings Oct-2021
4Kamara, Seny Algorithms for the PeopleInproceedings Oct-2021
524_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) costKonferenzbeitrag Inproceedings 2020
601_Anytime Algorithms for MaxSAT and Beyond.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer Anytime Algorithms for MaxSAT and BeyondKonferenzbeitrag Inproceedings 2020
722_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 NetworksKonferenzbeitrag Inproceedings 2020
8Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpgGodbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. ; Griggio, Alberto ; Rungta, Neha Automated Conversion of Axiomatic to Operational Models: Theory and PracticeInproceedings Konferenzbeitrag Oct-2022
9Jacobs-2022-Automatic Repair and Deadlock Detection for Parameterized Sys...-vor.pdf.jpgJacobs, Swen ; Sakr, Mouhammad ; Völp, Marcus ; Griggio, Alberto ; Rungta, Neha Automatic Repair and Deadlock Detection for Parameterized SystemsInproceedings Oct-2022
1018_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 ProtocolsKonferenzbeitrag Inproceedings 2020
11Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste ; Griggio, Alberto ; Rungta, Neha Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
1223_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti ; Ivrii, Alexander ; Strichman, Ofer Automating Modular Verification of Secure Information FlowInproceedings 2020
13Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationKonferenzbeitrag Inproceedings Oct-2021
14Jonsson-2022-Awaiting for Godot Stateless Model Checking that Avoids Exec...-vor.pdf.jpgJonsson, Bengt ; Lång, Magnus ; Sagonas, Konstantinos Awaiting for Godot Stateless Model Checking that Avoids Executions where Nothing HappensInproceedings Konferenzbeitrag Oct-2022
15Vigouroux-2022-BAXMC a CEGAR approach to MaxSAT-vor.pdf.jpgVigouroux, Thomas ; Ene, Cristian ; Monniaux, David ; Mounier, Laurent ; Potet, Marie-Laure ; Griggio, Alberto ; Rungta, Neha BAXMC: a CEGAR approach to Max#SATInproceedings Oct-2022
16Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie ; Griggio, Alberto ; Rungta, Neha Bounded Model Checking for LLVMInproceedings Oct-2022
17Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkKonferenzbeitrag Inproceedings Oct-2021
18Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierKonferenzbeitrag Inproceedings Oct-2021
19Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierKonferenzbeitrag Inproceedings Oct-2021
20Lohn-2022-Compact Symmetry Breaking for Tournaments-vor.pdf.jpgLohn, Evan ; Lambert, Chris ; Heule, Marijn ; Griggio, Alberto ; Rungta, Neha Compact Symmetry Breaking for TournamentsInproceedings Oct-2022