Injective envelopes of transition systems and Ferrers languages.

Mustapha Kabil Maurice Pouzet

Published in: RAIRO Theor. Informatics Appl. (2020)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
distributed systems
markov chain
formal specification
case study
hidden markov models
heuristic search
formal verification
model checker