next up previous
Next: Benchmark Description

Evaluating Symbolic Traversal Algorithms
Applied to Asynchronous Concurrent Systems

Marc Solé and Enric Pastor

Department of Computer Architecture
Technical University of Catalonia
08860 Castelldefels (Barcelona), Spain
{msole, enric}@ac.upc.es





Enric Pastor 2004-05-28