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.
|Daniel Ratiu (Siemens, Germany)|
|Bernhard Schaetz (fortiss, Germany)|
|Alan Wassyng (McMaster University, Canada)|
Session Chair: Daniel Ratiu
Session Chair: Alan Wassyng