The Bouquet Algorithm for Model Checking Unbounded Until Properties.

Shiraj Arora M. V. Panduranga Rao

Published in: TASE (2020)

Keyphrases

model checking
computational complexity
verification method
deterministic finite automaton
temporal properties
optimal solution
dynamic programming
temporal logic
search space
formal specification
formal methods