Related Tags
program-verification × 41pl.programming-languages × 13
lo.logic × 12
formal-methods × 10
model-checking × 6
reference-request × 4
type-theory × 4
automated-theorem-proving × 4
temporal-logic × 3
se.software-engineering × 3
automata-theory × 2
computability × 2
functional-programming × 2
dependent-type × 2
coq × 2
formal-modeling × 2
linear-temporal-logic × 2
program-logic × 2
cc.complexity-theory × 1
graph-theory × 1
np-hardness × 1
complexity-classes × 1
fl.formal-languages × 1
quantum-computing × 1
sat × 1