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 metadatas

https://hal.inria.fr/inria-00430637
Contributor : Pascal Fontaine <>
Submitted on : Monday, November 9, 2009 - 1:22:44 PM
Last modification on : Thursday, January 11, 2018 - 6:19:52 AM

Identifiers

  • HAL Id : inria-00430637, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

265