TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.

Enric Pastor, Marco A. Pea, Marc Sol

Browse the full CAV paper archive.