[FM-India] CfP: Practical Formal Verification for Software Dependability Workshop (AFFORD'19)

R Metta r.metta at tcs.com
Wed May 15 13:09:29 IST 2019

Workshop on Practical Formal Verification for Software Dependability (AFFORD'19), Porto, Portugal, https://sites.google.com/site/affordworkshop
Co-located with Formal Methods 2019 (FM'19), 7th October, 2019
Submission due: June 30th, 2019
Authors notification: July, 31th, 2019
Camera ready: August 15th, 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 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
software. 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 dependable.
TOPICS OF INTEREST 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 10 pages and short papers 5 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. After rigorous review, all the accepted papers will published by Springer in the 
FM Workshops Post-Proceedings Lecture Notes in Computer Science.
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. 
- Toshiaki Aoki, JAIST, Japan
- Paolo Arcaini, NII, Japan
- Sebastian Fischmeister, University of Waterloo, Canada
- Marc Frappier, Universite de Sherbrooke, Canada
- Alessandro Fantechi, Università di Firenze, Italy
- Stefania Gnesi, ISTI, Italy
- Rajeev Joshi, Amazon Web Services, USA
- Eunsuk Kang, CMU, USA
- Florent Kirchner, CEA List, France
- Mark Lawford, McMaster, Canada
- Thierry Lecomte, ClearSy, France
- Dominique Mery, LORIA, France 
- Ravi Metta, TCS, India
- Vincent Nimal, Microsoft, USA
- Marco Roveri, FBK, Italy
- Neeraj Singh, ENSEEITH, France
- Fuyuki Ishikawa, National Institute of Informatics, Japan
- Daniel Ratiu, Siemens, Germany
- Alexander Romanovsky, Newcastle University, United Kingdom 
- Alan Wassyng, McMaster University, Canada
Notice: The information contained in this e-mail
message and/or attachments to it may contain 
confidential or privileged information. If you are 
not the intended recipient, any dissemination, use, 
review, distribution, printing or copying of the 
information contained in this e-mail message 
and/or attachments to it are strictly prohibited. If 
you have received this communication in error, 
please notify us by reply e-mail or telephone and 
immediately and permanently delete the message 
and any attachments. Thank you

More information about the FMIndia mailing list