23 results on '"Heitmeyer C"'
Search Results
2. Panel on design for veri~cation.
3. A panacea or academic poppycock: formal methods revisited.
4. SCR: a practical approach to building a high assurance COMSEC system.
5. Applying formal methods to an information security device: An experience report.
6. A flexible, extensible simulation environment for testing real-time specifications.
7. SCR: a toolset for specifying and analyzing requirements.
8. An approach to monitoring and assertion-checking of real-time specifications.
9. Tools for formal specification, verification, and validation of requirements.
10. Mechanical verification of timed automata: a case study.
11. A software environment for custom simulation and monitoring of real-time specifications.
12. Consistency checking of SCR-style requirements specifications.
13. Military Message Systems: Current Status and Future Directions.
14. The use of quick prototypes in the secure military message systems project.
15. The use of quick prototypes in the secure military message systems project.
16. Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
17. ICSE 2003 workshop on Software Engineering for High Assurance Systems.
18. ICSE 2003 workshop on Software Engineering for High Assurance Systems.
19. ICSE 2003 workshop on Software Engineering for High Assurance Systems.
20. ICSE 2003 workshop on Software Engineering for High Assurance Systems.
21. Using the SCR* toolset to specify software requirements.
22. Message from the chairs.
23. SCR: a practical method for requirements specification.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.