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.
Type de document :
Communication dans un congrès
Colloque d'Informatique: Brésil/INRIA (COLIBRI), Jul 2009, Bento Gonçalves, Brazil. pp.22-27, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00430637
Contributeur : Pascal Fontaine <>
Soumis le : lundi 9 novembre 2009 - 13:22:44
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • 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, 2009. 〈inria-00430637〉

Partager

Métriques

Consultations de la notice

255