Related Tags
formal-methods × 151software-verification × 35
logic × 25
model-checking × 25
linear-temporal-logic × 14
programming-languages × 11
proof-techniques × 10
semantics × 10
reference-request × 9
formal-languages × 8
hoare-logic × 8
automata × 7
first-order-logic × 7
correctness-proof × 6
process-algebras × 6
computability × 5
type-theory × 5
software-engineering × 5
automated-theorem-proving × 5
computation-tree-logic × 5
algorithms × 4
undecidability × 4
operational-semantics × 4
smt-solvers × 4
static-analysis × 4