A Tool for Proving Invariance Properties of Concurrent Systems Automatically.

Hassen Sadi

Browse the full TACAS paper archive.