Specification and Verification of Invariant Properties of Transition Systems.

Daniel Gin, Ionut Tutu, Adrin Riesco

Browse the full APSEC paper archive.