Related Tags
linear-temporal-logic × 91logic × 43
model-checking × 24
temporal-logic × 18
automata × 15
formal-methods × 14
computation-tree-logic × 10
buchi-automata × 9
software-verification × 5
reference-request × 4
simulation × 4
complexity-theory × 3
first-order-logic × 3
modal-logic × 3
regular-expressions × 2
proof-techniques × 2
binary-trees × 2
game-theory × 2
check-my-answer × 2
hoare-logic × 2
mu-calculus × 2
formal-languages × 1
time-complexity × 1
finite-automata × 1
terminology × 1