Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Book title Buchtitel
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
 
ISBN
978-3-85448-046-4
 
Publisher Herausgeber
TU Wien Academic Press
 
Place of publishing Erscheinungsort
Wien
 
DOI
10.34727/2021/isbn.978-3-85448-046-4
 

Publications Publikationen

Filter:
Subject:  model checking

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuncak-2021-Stainless Verification System Tutorial-vor.pdf.jpgKunčak, Viktor ; Hamza, Jad Stainless Verification System TutorialInproceedings Konferenzbeitrag Oct-2021
2Goel-2021-Towards an Automatic Proof of Lamports Paxos-vor.pdf.jpgGoel, Aman ; Sakallah, Karem Towards an Automatic Proof of Lamport's PaxosInproceedings Konferenzbeitrag Oct-2021