Related Tags
linear-temporal-logic × 69logic × 37
model-checking × 17
temporal-logic × 17
automata × 15
formal-methods × 9
computation-tree-logic × 9
buchi-automata × 9
simulation × 4
software-verification × 4
reference-request × 3
complexity-theory × 2
proof-techniques × 2
mu-calculus × 2
formal-languages × 1
regular-expressions × 1
search-algorithms × 1
satisfiability × 1
graph-traversal × 1
concurrency × 1
first-order-logic × 1
semantics × 1
game-theory × 1
object-oriented × 1
hoare-logic × 1
