We describe a method for automatically testing a model-checker for timed behavioral properties. We consider the case of an …
We propose an algorithm for parallel state space construction based on an original concurrent data structure, called a localization …