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

maintained by Schloss Dagstuhl LZI, founded at University of Trier