Document: An Implementation and Verification Technique for Distributed Systems

An Implementation and Verification Technique for Distributed Systems [00015]
Event	MOVEP2k: Modelling and Verification of Parallel Processes
Date	19 Jun 2000 - 23 Jun 2000
Location	Nantes, France
Files
Paper Summary of ISG/ASaP verification and validation techniques
Verification and validation of distributed systems as defined by the ISG-approach is described in this paper.

Papers