Related Tags
temporal-logic × 43logic × 24
linear-temporal-logic × 18
computation-tree-logic × 13
model-checking × 12
concurrency × 2
software-verification × 2
automata × 1
terminology × 1
proof-techniques × 1
search-algorithms × 1
artificial-intelligence × 1
type-theory × 1
computation-models × 1
graph-traversal × 1
distributed-systems × 1
propositional-logic × 1
synchronization × 1
resource-allocation × 1
modal-logic × 1
mu-calculus × 1
tlaplus × 1