Guest Editorial
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Model Checking Complete Requirements Specifications Using Abstraction
Refining Model Checking by Abstract Interpretation