domains / families / research / formal-verification-guide

formal-verification-guide

separate

Formal methods, theorem proving, and model checking for CS research

When to use

• model checking
• interactive theorem proving
• specification languages
• practical verification workflows
• systems research
• programming language research
• TLA+ specification
• SMT solving

Skill page

Source