Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
