A track at ISoLA 2018

8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

5-9 November 2018
Limassol, Cyprus

Motivation | Aim and topics of interest | Important dates | Publication and special issues | Invited speakers and program | Track chairs | ISoLA 2018


Correctness-by-Construction (C-by-C) approaches the development of software (systems) as a true form of Engineering, with a capital ‘E’. C-by-C advocates a step-wise refinement process from specification to code, ideally by C-by-C design tools that automatically generate error-free software (system) implementations from rigorous and unambiguous specifications of requirements. Afterwards, testing only serves the purpose of validating the C-by-C process rather than to find bugs. (Of course, bugs might still be present outside the boundaries of the verified system: in libraries, compilers, hardware, etc.)

A lot of progress has been made in this domain, implying it is time to look further than correctness and investigate a move from C-by-C to X-by-C, i.e. by considering also non-functional properties. X-by-C is thus concerned with a step-wise refinement process from specification to code that automatically generates software (system) implementations that by construction satisfy specific non-functional properties concerning security, dependability, reliability or resource/energy consumption, etc.


Building on the highly successful ISoLA 2016 track “Correctness-by-Construction and Post-hoc Verification: Friends or Foes?” which focussed on the combination of post-hoc verification with C-by-C, we decided to organise an “X-by-Construction” (X-by-C) track at ISoLA 2018, with the aim of bringing together researchers and practitioners that are interested in C-by-C and the promise of X-by-C.

We therefore invite researchers and practitioners from (at least) the following communities to shed their light on moving from C-by-C to X-by-C:


Paper submission (extended) March 31, 2018 April 28, 2018 May 20, 2018
Notification of acceptance June 30, 2018
Camera-ready version August 15, 2018
Early registration August 31, 2018
Symposium ISoLA 2018 November 5-9, 2018


The ISoLA proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series.


Selected contributions will be invited to Innovations in Systems and Software Engineering: A NASA Journal, to Thematic Sections in the International Journal on Software Tools for Technology Transfer (STTT) or to the newly founded LNCS Transactions on Foundations for Mastering Change (FoMaC).


Following a keynote, there will be 3-4 sessions according to the ISoLA schedule, with three to four invited presentations of 20 minutes and 30 minutes for a general discussion. The sessions will be structured according to the different viewpoints or application fields from which the speakers approach X-by-C.

Keynote speaker (confirmed)

Erik Poll (Radboud University Nijmegen, The Netherlands)

Invited speakers (confirmed)

Einar Broch Johnsen (University of Oslo, Norway)
Reiner Hähnle (TU Darmstadt, Germany)
Marieke Huisman (University of Twente, The Netherlands)
Axel Legay (Inria Rennes, France)
Dominique Méry (Loria, Nancy, France)
Gerardo Schneider (Chalmers TU, Gothenburg, Sweden)
Bernhard Steffen (TU Dortmund, Germany)
Mirco Tribastone (IMT Lucca, Italy)


Maurice H. ter Beek ISTI-CNR, Pisa, Italy
Loek Cleophas TU Eindhoven, The Netherlands
Ina Schaefer TU Braunschweig, Germany
Bruce W. Watson Stellenbosch University, South Africa

For more information, please e-mail one of the track chairs.