Integrated Formal Methods

Dominique Méry 1 Stephan Merz 1
1 VERIDIS - VERIfication pour les systèmes DIStribués
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications : UMR7503
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.
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/inria-00539785
Contributor : Stephan Merz <>
Submitted on : Thursday, November 25, 2010 - 10:17:45 AM
Last modification on : Thursday, September 19, 2019 - 5:00:11 PM

Identifiers

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⟩

Share

Metrics

Record views

238