Author of the publication

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.

, , , , and . IEEE Trans. Software Eng., 24 (11): 927-948 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Applying the SCR requirements method to a weapons control panel: an experience report., , and . FMSP, page 92-102. ACM, (1998)A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications., , , , and . HASE, page 78-84. IEEE Computer Society, (1997)Automated Consistency Checking of Requirements Specifications., , and . ACM Trans. Softw. Eng. Methodol., 5 (3): 231-261 (1996)A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications., , , and . IEEE Real Time Technology and Applications Symposium, page 125-135. IEEE Computer Society, (1997)SCR*: A Toolset for Specifying and Analyzing Software Requirements., , , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 526-531. Springer, (1998)Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications., , , , and . IEEE Trans. Software Eng., 24 (11): 927-948 (1998)Consistency checking of SCR-style requirements specifications., , and . RE, page 56-65. IEEE Computer Society, (1995)MT: A Toolset for Specifying and Analyzing Real-Time Systems., , , and . RTSS, page 12-22. IEEE Computer Society, (1993)The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support., , and . ICSE, page 610-611. ACM, (1997)