Software verification


Topic history | v1 (current) | created by jjones

Details

Software verification

| created by jjones | Add topic "Software verification"
Title
Software verification
Description
Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements.
Link
https://en.wikipedia.org/?curid=665989

resources

treated in Software Foundations
v1 | attached by jjones | Add topic "Software verification"

authors

This topic has no history of related authors.

topics

subtopic of Computer science
v1 | attached by jjones | Add topic "Software verification"
uses Static program analysis
v1 | attached by jjones | Add topic "Software verification"
used by F*
v1 | attached by jjones | Add topic "Software verification"