Formal verification techniques have already shown that they can increase the dependability of software. However, they are only sporadically applied in an industrial context (if at all) and mostly in projects where it is explicitly required by regulatory bodies. A broad adoption of formal verification techniques is not in sight.

The inherent complexity of the systems being built, as well as the complexity of the analyses pose scalability challenges in real industrial projects. Other important reasons for their low adoption are related to pragmatic aspects such as usability or the cost of applying formal verification (e.g. specifying properties, running the analyses, interpreting the results). For a large majority of software engineers and developers, formal verification techniques are viewed rather as expert tools and not as engineering tools that can be used on a daily basis. This is mostly the case in the context of main stream systems (e.g. automotive, medical, industrial automation) where pragmatics (e.g. personnel skills, cost structures, deadlines, existent processes, existent organization, legacy code) plays a major role.

Objectives:

This workshop aims to build a cohesive community interested in the application of formal verification techniques to increase dependability of software intensive systems, by developing and promoting approaches, techniques and tools that can be understood and applied by practicing engineers – without special education in formal methods. Specifically, we aim to bring together researchers and practitioners interested in lowering the adoption barrier to use formal verification for the development of dependable softwareWe 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. 

The workshop is co-located with the 28th International Symposium on Software Reliability Engineering in Tolouse, France.

Organizers:
  • Daniel Ratiu, Siemens, Germany
  • Alexander Romanowsky, Newcastle University, United Kingdom
  • Harald Ruess, fortiss, Germany
  • Alan Wassyng, McMaster University, Canada