Related Tags
model-checking × 104logic × 28
formal-methods × 25
software-verification × 25
linear-temporal-logic × 24
computation-tree-logic × 20
temporal-logic × 12
automata × 9
formal-languages × 6
transition-systems × 6
graphs × 4
finite-automata × 4
reference-request × 4
semantics × 4
markov-chains × 4
algorithms × 3
complexity-theory × 3
undecidability × 3
proof-techniques × 3
satisfiability × 3
first-order-logic × 3
parameterized-complexity × 3
smt-solvers × 3
buchi-automata × 3
terminology × 2