Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.

Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover

Browse the full CAV paper archive.