An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.

Shaoying Liu

Browse the full ATVA paper archive.