Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Softcover

 
9783662194003: Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Softcover
ISBN 10: 3662194007 ISBN 13: 9783662194003
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

Tutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Verification.- Composition and Abstraction.- UPPAAL - Now, Next, and Future.- HMSCs as Partial Specifications...with PNs as Completions.- Industrial Applications of Model Checking.- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.- Annotated Bibliographies.- Verification of Systems with an Infinite State Space.- Testing Transition Systems: An Annotated Bibliography.- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.- Mobile Processes: A Commented Bibliography.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662194007
ISBN 13 
9783662194003
Binding
Paperback

Other Popular Editions of the Same Title

9783540427872: Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science, 2067)

Featured Edition

ISBN 10:  3540427872 ISBN 13:  9783540427872
Publisher: Springer, 2001
Softcover