정형 기법
Sign in to savemathematical program specification intended to allow correctness proofs, including algorithmically
In the Vinony graph
Vinony's link graph records 604 inbound references to 정형 기법, and connects out to algorithm, Backus–Naur form and Springer Science+Business Media.
Vinony files it under Formal methods, Software development philosophies and Specification languages.
Vinony links it to 27 Wikipedia language editions.
Wikidata facts
Show 3 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/formal-methods
- topic's main category
- Category: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