OPEN/CSAR: An OPen Software Architecture for Verification, Simulation, and Testing.

Hubert Garavel

Browse the full TACAS paper archive.