Conditional transition systems with upgrades.

Harsh Beohar Barbara König Sebastian Küpper Alexandra Silva

Published in: Sci. Comput. Program. (2020)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
case study
social networks
object oriented
distributed systems
data flow
formal verification
reactive systems