Temporal Verification of Reactive Systems: Safety (1995)

by Z Manna, A Pnueli