Searching protocol for "formal-specification"
Generate formal specs for verification.
Define WHAT to build and WHY.
Build fault-tolerant distributed systems
Formalize requirements into Isabelle/HOL or Coq.
Generate formal state machine specifications.
Build and verify formal Quint specifications.
Generate formal code specifications.
Turn docs into specs
Start new features with formal specs.
Formalize privacy research.
Formalize system properties.
Formalize GitHub Actions workflows.