Skip to Main content Skip to Navigation
Book sections

Reflections on Bernhard Steffen’s Physics of Software Tools

Hubert Garavel 1 Radu Mateescu 1
1 CONVECS [2016-2019] - Construction of verified concurrent systems [2016-2019]
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Many software tools have been developed to implement the concepts of formal methods, sometimes with great success, but also with an impressive tool mortality and an apparent dispersion of efforts. There has been little analysis so far of such tool development as a whole, in order to make it more coherent, efficient, and useful to the society. Recently, however, Bernhard Steffen published a paper entitled "The Physics of Software Tools: SWOT Analysis and Vision" that precisely proposes such a global vision. We highlight the key ideas of this paper and review them in light of our own experience in designing and implementing the CADP toolbox for the specification and analysis of concurrent systems.
Document type :
Book sections
Complete list of metadatas

Cited literature [53 references]  Display  Hide  Download
Contributor : Hubert Garavel <>
Submitted on : Wednesday, December 4, 2019 - 6:37:01 PM
Last modification on : Tuesday, October 6, 2020 - 4:20:10 PM
Long-term archiving on: : Thursday, March 5, 2020 - 6:58:43 PM


Files produced by the author(s)




Hubert Garavel, Radu Mateescu. Reflections on Bernhard Steffen’s Physics of Software Tools. Models, Mindsets, Meta: The What, the How, and the Why Not?, Springer Verlag, pp.186-207, 2019, ⟨10.1007/978-3-030-22348-9_12⟩. ⟨hal-02394588⟩



Record views


Files downloads