1 |
R. Lutz, 'Targeting Safety-Related Errors during Software Requirements Analysis,' Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 99-106, 1993
DOI
|
2 |
D. Wheeler, B. Brykczynski, and R. Meeson, Jr., Software Inspection: An industry best practice, IEEE Computer Society Press, pp. 1-312, 1996
|
3 |
D. S. Herrmann, Software Safety and Reliability, IEEE Computer Society, pp. 1-503, 1999
|
4 |
M. Fagan, 'Advances in Software Inspections,' IEEE Transactions on Software Engineering, 12(7), pp. 133-144, 1986
|
5 |
M. Hinchey and J. Bowen, Application of Formal Methods, Prentice-Hall, pp. 1-442, 1995
|
6 |
J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas, 'A Tutorial Introduction to PVS,' Workshop on Industrial-Strength Formal Specification Techniques (WIFT '95), pp. 1-112, 1995
|
7 |
T. Kim, H. Hong, S. Cho, W. Chun, and S. Cha, 'A Verification of Requirements Specification for Safety-critical System,' 22th KISS Spring Conference, April, 1996
|
8 |
T. Kim, and S. Cha, 'Automated Strcutural Analysis of SCR-style Software Requirements Specification using PVS,' Journal of Software, Testing, Verification, and Reliablity, 11(3), pp. 143-163, 2001
DOI
ScienceOn
|
9 |
C. Heitmeyer, J. Kirby, B. Labaw, 'The SCR Method for Formally Specifying, Verifying and Validating Software Requirements: Tool Support,' Proceedings of the 19th International Conference on Software Engineering (ICSE '97), pp. 610-611, 1997
DOI
|
10 |
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, 'The Synchronous Data Flow Programming Language LUSTRE,' Proceedings of the IEEE, 79(9), September 1991
DOI
ScienceOn
|
11 |
M. Heimdahl and B. Czerny, 'Using PVS to Analyze Hierarchical State-Based Requirements for Completeness and Consistency,' Proceedings of the IEEE High Assurance Systems Engineering Workshop (HASE '96), pp. 252-262, 1996
DOI
|
12 |
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert, PVS System Guide Version 2.3, Computer Science Laboratory, SRI International, pp. 1-88, 1999
|
13 |
S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert, PVS Language Reference Version 2.3, Computer Science Laboratory, SRI International, pp. 1-87, 1999
|
14 |
N. Shankar, S. Owre, J. Rushby, and D. Stringer-Calvert, PVS Prover Guide Version 2.3, Computer Science Laboratory, SRI International, pp. 1-117, 1999
|
15 |
B. Dutertre, and V. Stavridou, 'Formal Requirements Analysis of an Avionics Control System.' IEEE Transactions on Software Entineering, 23(5), pp. 267-278, 1997
DOI
ScienceOn
|
16 |
S. Owre, J. Rushby, N. Shankar, and F. von Henke, 'Formal Verification for Fault-Tolerant Architecture: Prolegomena to the Design of PVS,' IEEE Transactions on Software Engineering, Vol. 21, No. 2, pp. 107-125, 1995
DOI
ScienceOn
|
17 |
S. Miller and M. Srivas, 'Formal Verification of the AAMP5 Microprocessor: A case study in the industrial use of formal methods,' Workshop on Industrial-Strength Formal Specification Techniques (WIFT '95), pp. 2-16, 1995
DOI
|