Model-Checking Circus State-Rich Specifications.

Marcel Vincius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho

Browse the full IFM paper archive.