SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Towards Light-Weight Verication and Heavy-Weight Testing
 by Sam Owre, Dr. Harald Rueß, Stephan Pfab & Friedrich W. von Henke.

Advances in Computing Science.
From Tool Support for System Specification, Development and Verification.
Edited by Rudolph Bergahmmer and Yassine Lakhnech.
Springer-Verlag, Malente, Germany.
June, 1998.
Pages 189–200.

We give an overview on our approach to symbolic simulation in the PVS theorem prover and demonstrate its usage in the realm of validation by executing specification on incomplete data. In this way, one can test executable models for a possibly infinite class of test vectors with one run only. One of the main benefits of symbolic simulation in a theorem proving environment is enhanced productivity by early detection of errors and increased confidence in the specification itself.
BibTEX Entry
    AUTHOR = {Stephan Pfab and Harald Rue\ss and Sam Owre and and Friedrich {W.} von Henke},
    TITLE = {Towards Light-Weight Verication and Heavy-Weight Testing},
    YEAR = {1998},
    PAGES = {189--200},
    MONTH = {jun},
    NOTE = {Proceedings published in May 1999},
    ADDRESS = {Malente, Germany},
    URL = {},
    SERIES = {Advances in Computing Science},
    BOOKTITLE = {Tool Support for System Specification, Development and Verification},
    PUBLISHER = {Springer-Verlag},
    EDITOR = {Rudolph Bergahmmer and Yassine Lakhnech}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2018 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy