software verification
Sign in to saveensuring software correctness with tests or analysis
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- cs.stackexchange.com/tags/software-verification
Sources (2)
via Wikidata · CC0
Available in 10 languages
via Wikidata sitelinks · CC0
Connections
formal verification
Entity
software quality engineering
Entity
International Standard Book Number
Entity
programming language
Entity
experiment
Entity
software engineering
Entity
Institute of Electrical and Electronics Engineers
Entity
software bug
Entity
software testing
Entity
theory of computation
Entity
unit testing
Entity
anti-pattern
Entity
electronic design automation
Entity
integration testing
Entity
software metric
Entity
static program analysis
Entity
correctness
Entity
coding convention
Entity
ACM Computing Classification System
Entity
Dynamic testing
Entity