Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification.
Shaoying LiuPublished in: TAP@STAF (2016)
Keyphrases
- formal verification
- model checking
- program slicing
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- functional verification
- software development
- source code
- development process
- formal methods
- software design
- formal specification
- concurrent systems
- transition systems
- software systems
- computer systems