FVPE 2016 - International Workshop on Formal Verification for Practicing Engineers (FVPE)

This workshop aims to create a cohesive community interested in the application of formal verification techniques to increase reliability of software intensive systems, but in which pragmatic constraints such as usability or costs play a central role. We aim at bringing together researchers and practitioners to lower the adoption barrier of formal verification. We especially focus on the needs of main stream developers that do not (necessarily) work on highly safety critical systems but on more main stream systems that still need to be reliable.
Workshop Organizers
Daniel Ratiu (Siemens, Germany)
Bernhard Schaetz (fortiss, Germany)
Alan Wassyng (McMaster University, Canada)