| skos:altLabel | - verified
- formal
- verification
- formalization
- correctness
- verify
- formally proven
- Verification
- software verification
- Automated Verification
- automated verification
- certified code
- computer aided verification
- correctness of programs
- formal methods
- formal model
- formal program verification
- formal program verifier
- formal software verification
- formal specification and verification
- formal verification
- formally correct
- formally verified
- formally verify
- formally verifying
- program verification
- program verifier
- prove correct
- theorem proving
- validate
- verifiability
- verifiable
- verification of computer programs
- verified formally
- verifier
|