Model checking and model synthesisfrom partial models: a logic-based perspective.

Valentin Goranko

Published in: CoRR (2020)

Keyphrases

model checking
probabilistic model
temporal properties
finite state machines
model checker
reactive systems
process model
mathematical models
finite state
concurrent systems
process algebra
linear temporal logic