Skip to Main content Skip to Navigation
New interface
Conference papers

Automating model-based software engineering

Abstract : Model-based approaches are commonly used to engineering software for safety-critical applications. Several artifacts, such as abstract specifications, formal refinements, and assertions at the implementation level require computational support for formal reasoning activities. Delivering formal verification tools that address such reasoning activities in an automated, trustable and flexible fashion remains a scientific challenge. Researchers from LORIA and UFRN have been collaborating to address this challenge and are now developing an automated theorem prover targeted at trustable software verification efforts.
Document type :
Conference papers
Complete list of metadata
Contributor : Pascal Fontaine Connect in order to contact the contributor
Submitted on : Monday, November 9, 2009 - 1:22:44 PM
Last modification on : Friday, February 4, 2022 - 3:22:05 AM


  • HAL Id : inria-00430637, version 1



David Déharbe, Pascal Fontaine, Anamaria Martins Moreira, Stephan Merz, Anderson Santana de Oliveira. Automating model-based software engineering. Colloque d'Informatique: Brésil/INRIA (COLIBRI), Jul 2009, Bento Gonçalves, Brazil. pp.22-27. ⟨inria-00430637⟩



Record views