8. NFM 2016: Minneapolis, MN, USA

Requirements and Architectures

Testing and Run-Time Enforcement

Theorem Proving and Proofs

Application of Formal Methods

Code Generation and Synthesis

Model Checking and Verification

Correctness and Certification

a service of Schloss Dagstuhl - Leibniz Center for Informatics