Sound Verification Procedures for Temporal Properties of Infinite-State Systems.

Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil

Browse the full CAV paper archive.