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

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Liu2016TestingBasedFV, title={Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification}, author={Shaoying Liu}, booktitle={TAP}, year={2016} }