VerC3: A library for explicit state synthesis of concurrent systems.

Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan

Browse the full DATE paper archive.