Formal Methods: Applications and Technology

Formal Methods: Applications and Technology




About this book

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006 (see also LNCS volume 4137).

The 16 revised full papers and 2 revised tool papers, selected out of 47 submissions for FMICS 2006 are accompanied by 4 revised full papers of PDMC 2006, selected from 9 submissions and are presented together with an invited talk for each workshop. The FMICS papers cover formal methodologies for handling large state spaces, model based testing, formal description and analysis techniques as well as a range of applications and case studies., the papers of PDMC address topics such as parallel and distributed methods in model checking, system issues for parallel and distributed verification, and dedicated applications.

Written for:
Researchers and professionals
dependable systems
distributed verification
fault tolerance
formal methods
formal software development
formal specification
formal verification
model checking
model-driven development
probabilistic methods
real-time analysis
state machines
system verification
systems analysis
theorem proving
timed automata



Published by
Published 01 January 2007
Reads 2
EAN13 9783540709527
Language English

Legal information: rental price per page €. This information is given for information only in accordance with current legislation.

Formal Methods: Applications and Technology