Related Tags
computation-tree-logic × 38logic × 20
model-checking × 20
temporal-logic × 13
linear-temporal-logic × 10
software-verification × 6
formal-methods × 5
mu-calculus × 3
complexity-theory × 2
simulation × 2
algorithms × 1
formal-languages × 1
time-complexity × 1
concurrency × 1
first-order-logic × 1
game-theory × 1
intuition × 1
modal-logic × 1
bdd × 1