On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets.

Raymond R. Devillers Ronny Tredup

Published in: Fundam. Informaticae (2022)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
sufficient conditions
test set
formal specification
finite state
practical reasoning