Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification.

Published 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