FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Michael Butler, Wolfram Schulte
Springer Science & Business Media, Jun 16, 2011 - Computers - 450 pages
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract access permissions algorithm Alloy analysis applied approach assertion automatically automaton behaviour Boolean component computation concurrent constraints construction counterexample defined definition denote diagrams domain encoding environment event example execution expression failure formal methods formal verification formula function global fairness graph heap Heidelberg Heidelberg 2011 Hoare logic hypervisor implementation initial input instantiation integer invariant Isabelle/HOL lane language linearisation linearizability LNCS loop loop invariant memory areas model checking module monad monitor node object operational semantics operations partial order reduction postcondition predicate program verification properties protocol prove reconfiguration recursive refinement relation relay requires result rules runtime satisfies semantics sequence simulation SMT solver software engineering specification Springer strategy structure synchronization techniques termination Theorem theory tion tool traces transition tree automaton valid variables verification world model