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

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS
 by Taeho Kim, David Stringer-Calvert & Sungdeok Cha.

Lecture Notes in Computer Science, Volume 2280.
From Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002.
Edited by J.-P. Katoen and P. Stevens.
Springer-Verlag, Grenoble, France.
April, 2002.
Pages 205–220.


BibTEX Entry
@article{Kim-etal01:TACAS,
    AUTHOR = {Taeho Kim and David Stringer-Calvert and Sungdeok Cha},
    TITLE = {Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using {PVS}},
    VOLUME = {2280},
    YEAR = {2002},
    PAGES = {205--220},
    MONTH = {April},
    ADDRESS = {Grenoble, France},
    URL = {http://www.csl.sri.com/papers/tacas2002/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, {TACAS} 2002},
    PUBLISHER = {Springer-Verlag},
    EDITOR = {{J.-P.} Katoen and {P.} Stevens}
}
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