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.


Abstract
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
@article{unspecified,
    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 = {http://www.csl.sri.com/papers/fmtools99/},
    SERIES = {Advances in Computing Science},
    BOOKTITLE = {Tool Support for System Specification, Development and Verification},
    PUBLISHER = {Springer-Verlag},
    EDITOR = {Rudolph Bergahmmer and Yassine Lakhnech}
}
Files
 













 

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