Call for Papers

Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019)

co-located with FM 2019

Porto, Portugal, 7th October 2019

For a large majority of software engineers and developers, formal verification techniques are seen 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.

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 dependable. 

Topics of interests include but are not limited to:

  • increase software dependability by using formal verification
  • lowering the adoption barrier of formal verification by practicing engineers
  • using formal verification results as evidence for certification
  • complementing formal verification with reviews and tests
  • measuring the confidence gained even when incomplete or unsound verification is used
  • process-phase specific formal verification techniques: from requirements engineering to deployment and software maintenance
  • integrating formal verification with agile development
  • using formal verification in the development of low criticality systems
  • domain specific formal verification (e.g. embedded systems, web applications)
  • use of ”invisible” formal techniques like type-systems
  • evaluate and increase the usability of formal verification tooling (e.g. specification of verification conditions, interpretation of verification results, specification of the environment)
  • using domain specific languages and model based development to improve the usability of verification
  • tools that provide a high degree of automation
  • integration of formal techniques in development environments
  • industrial experiences with using formal verification in contexts as described above
  • experience about failures to apply suitable verification in an industrial context
Papers must be written in English, and be formatted according to the Springer LNCS format. Full papers must not exceed 15 pages and short papers 6 pages. Full papers should describe complete research results related to the topics of the workshop, whereas short papers can contain work in progress or novel ideas. We put special focus on the potential of the proposed approaches to address the needs of practitioners. 

Paper submission will be done electronically through EasyChair. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Accepted and revised papers will be published by Springer in the FM Workshops Post-Proceedings Lecture Notes in Computer Science


Organizing Committee:    
  • Fuyuki Ishikawa, National Institute of Informatics, Japan
  • Daniel Ratiu, Siemens, Germany
  • Alexander Romanowsky, Newcastle University, United Kingdom
  • Alan Wassyng, McMaster University, Canada
  • afford dot organizing at gmail dot com