Specification and Verification of Invariant Properties of Transition Systems.

Daniel Gâinâ Ionut Tutu Adrián Riesco

Published in: APSEC (2018)

Keyphrases

transition systems
invariant properties
model checking
concurrent systems
temporal logic
model checker
formal verification
formal specification
finite state
distributed systems
zernike moments
formal methods
prior models
reactive systems
practical reasoning
state space
prior information
petri net