formal methods
Sign in to savemathematical program specification intended to allow correctness proofs, including algorithmically
Wikidata facts
Show 2 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/formal-methods
- Commons category
- Formal methods
via Wikidata · CC0
Connections
algorithm
Entity
Backus–Naur form
Entity
Springer Science+Business Media
Entity
Petri net
Entity
programming language semantics
Entity
automated theorem proving
Entity
process calculus
Entity
satisfiability modulo theories
Entity
true quantified Boolean formula
Entity
Vienna Development Method
Entity
B-Method
Entity
program synthesis
Entity
mathematics
Entity
Artificial intelligence
Concept
statistics
Entity
computer science
Entity
operating system
Entity
NASA
Concept
software
Entity
International Standard Book Number
Entity