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 160 (Search time: 0.007 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 ; Rozier, Kristin Y. Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationKonferenzbeitrag Inproceedings 2020
2Raghunathan-2022-ACORN Network Control Plane Abstraction using Route Nond...-vor.pdf.jpgRaghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ACORN Network Control Plane Abstraction using Route NondeterminismInproceedings Konferenzbeitrag Oct-2022
3Vaandrager, Frits Active Automata Learning: from L* to L#Konferenzbeitrag Inproceedings Oct-2021
4Kamara, Seny Algorithms for the PeopleKonferenzbeitrag Inproceedings 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 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 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 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. 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 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. Automating Compositional Analysis of Authentication ProtocolsKonferenzbeitrag Inproceedings 2020
11Bhat-2023-Automating Cutoff-based Verification of Distributed Protocols-vor.pdf.jpgBhat, Shreesha G. ; Nagar, Kartik Automating Cutoff-based Verification of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
12Kheterpal-2022-Automating Geometric Proofs of Collision Avoidance with Ac...-vor.pdf.jpgKheterpal, Nishant ; Tang, Elanor ; Jeannin, Jean-Baptiste Automating Geometric Proofs of Collision Avoidance with Active CornersInproceedings Konferenzbeitrag Oct-2022
1323_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti Automating Modular Verification of Secure Information FlowKonferenzbeitrag Inproceedings 2020
14Tsiskaridze-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
15Jonsson-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
16Vigouroux-2022-BAXMC a CEGAR approach to MaxSAT-vor.pdf.jpgVigouroux, Thomas ; Ene, Cristian ; Monniaux, David ; Mounier, Laurent ; Potet, Marie-Laure BAXMC: a CEGAR approach to Max#SATKonferenzbeitrag Inproceedings Oct-2022
17Froleyks-2023-BIG Backbones-vor.pdf.jpgFroleyks, Nils ; Yu, Emily ; Biere, Armin BIG BackbonesInproceedings Konferenzbeitrag Oct-2023
18Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareInproceedings Oct-2023
19Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
20Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023