Modular Model Checking of Software Specifications with Simultaneous Environment Generation.

Claudio de la Riva, Javier Tuya

Browse the full ATVA paper archive.