12th IFM 2016: Reykjavik, Iceland

Invited Contributions

Program Verification

Probabilistic Systems

Concurrency

Safety and Liveness

Model Learning

SAT and SMT Solving

Testing

Theorem Proving and Constraint Satisfaction

Case Studies

Schloss Dagstuhl LZI