Property-Driven Software Analysis

(Extended Abstract)
  • Mathieu Comptier
  • David DéharbeEmail author
  • Paulin Fournier
  • Julien Molinero-Perez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11800)


Software in industrial products, such as in the railway industry, constantly evolves to meet new or changing requirements. For projects with a lifetime spanning decades (such as the control software for energy plants, for railway lines, etc.), keeping track of the original design rationale through time is a significant challenge.


Formal methods Formal proof Software specification 


  1. 1.
    Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)CrossRefGoogle Scholar
  2. 2.
    Atelier, B.: CLEARSY Systems Engineering.
  3. 3.
    Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003). Scholar
  4. 4.
    Ordioni, J., Breton, N., Colaço, J.L.: HLL vol 2.7 Modelling Language Specification. Technical Report STF-16-01805, RATP, May 2018Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Mathieu Comptier
    • 1
  • David Déharbe
    • 1
    Email author
  • Paulin Fournier
    • 1
  • Julien Molinero-Perez
    • 1
  1. 1.CLEARSY Systems EngineeringAix-en-ProvenceFrance

Personalised recommendations