Add topic "Software verification" Accepted
The requested resource couldn't be found.
Changes: 5
-
Add Software verification
- Title
-
- Unchanged
- Software verification
- Description
-
- Unchanged
- Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=665989
Topic | v1 | current (v1) -
Add Software verification treated in Software Foundations
- Current
- treated in
Topic to resource relation | v1 -
Add Static program analysis used by Software verification
- Current
- used by
Topic to topic relation | v1 -
Add F* uses Software verification
- Current
- uses
Topic to topic relation | v1 -
Add Computer science parent of Software verification
- Current
- parent of
Topic to topic relation | v1