22 results on '"Heitmeyer C"'
Search Results
2. Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
3. A flexible, extensible simulation environment for testing real-time specifications
4. Using abstraction and model checking to detect safety violations in requirements specifications
5. Introduction To The Special Section
6. Specifying Hard Real-Time Software: Experience with a Language and a Verifier
7. The use of quick prototypes in the secure military message systems project
8. Military Message Systems: Current Status and Future Directions
9. The use of quick prototypes in the secure military message systems project
10. SCR: a toolset for specifying and analyzing requirements
11. Tools for formal specification, verification, and validation of requirements
12. Analyzing tabular requirements specifications using infinite state model checking
13. A Panacea or Academic Poppycock: Formal Methods Revisited
14. Developing high assurance avionics systems with the SCR requirements method
15. Panel on design for veri~cation
16. Mechanical verification of timed automata: a case study
17. A flexible, extensible simulation environment for testing real-time specifications
18. A software environment for custom simulation and monitoring of real-time specifications
19. SCR: a practical method for requirements specification
20. Message from the chairs
21. Using the SCR* toolset to specify software requirements
22. Consistency checking of SCR-style requirements specifications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.