Injective envelopes of transition systems and Ferrers languages.

Mustapha Kabil Maurice Pouzet

Published in: CoRR (2019)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
hidden markov models
knowledge base
distributed systems
reactive systems
formal specification
model checker