Book Details

978-3-540-32240-5

Integrated Formal Methods

Publication year: 2005

ISBN: 978-3-540-32240-5

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.


Subject: Computer Science, Attribut, Unified Modeling Language (UML), automata, calculus, component systems, constraint satisfaction, embedded systems, formal method, formal methods, formal specification, formal validation, formal verification, model checking, semantics, verification