A proof-based approach to verifying reachability properties.

Amel Mammar, Marc Frappier, Fama Diagne

Browse the full SAC paper archive.