Integrated Formal Methods

Dominique Méry 1 Stephan Merz 2
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated Formal Methods. The conference took place during October 12-14, 2010, at the INRIA research center and the LORIA laboratory in Nancy, France. Previous editions were held in York, Dagstuhl, Turku, Canter- bury, Eindhoven, Oxford, and Düsseldorf. The iFM conference series seeks to promote research into the combination of different formal methods, and of formal and semi-formal methods, for system development. Such combinations are useful in order to apprehend different aspects of systems, including functional correctness, security, performance, and fault-tolerance. The conference provides a forum for discussing recent advances in the state of the art and for disseminating the results among the academic and industrial community.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Dominique Méry and Stephan Merz. 6396, Springer, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. 〈10.1007/978-3-642-16265-7〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00539785
Contributeur : Stephan Merz <>
Soumis le : jeudi 25 novembre 2010 - 10:17:45
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25

Lien texte intégral

Identifiants

Collections

Citation

Dominique Méry, Stephan Merz. Integrated Formal Methods. Dominique Méry and Stephan Merz. 6396, Springer, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. 〈10.1007/978-3-642-16265-7〉. 〈inria-00539785〉

Partager

Métriques

Consultations de la notice

209