Related Tags
software-verification × 103formal-methods × 29
model-checking × 24
logic × 16
hoare-logic × 16
proof-techniques × 13
correctness-proof × 11
programming-languages × 9
automata × 6
functional-programming × 6
computation-tree-logic × 6
algorithms × 5
semantics × 5
program-correctness × 5
formal-languages × 4
reference-request × 4
linear-temporal-logic × 4
computability × 3
satisfiability × 3
type-theory × 3
concurrency × 3
first-order-logic × 3
induction × 3
software-engineering × 3
loop-invariants × 3
