Oepen, Jan-Hendrik, Germany
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.