3976 articles – 5526 Notices  [english version]

inria-00539785, version 1

Integrated Formal Methods

Dominique Méry () 1, Stephan Merz () 2

Integrated Formal Methods (2010) 335

Résumé : 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.

  • 1 :  MOSEL (LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • 2 :  VERIDIS (INRIA Nancy - Grand Est / LORIA)
  • Université de Lorraine – CNRS : UMR7503 – INRIA
  • Domaine : Informatique/Logique en informatique
 
  • inria-00539785, version 1
  • oai:hal.inria.fr:inria-00539785
  • Contributeur : 
  • Soumis le : Jeudi 25 Novembre 2010, 10:17:45
  • Dernière modification le : Lundi 4 Avril 2011, 10:46:28