Research on Model Checking Method-Based Trustworthy Software Verification Technology

Abstract

Related Dissertations

1. Research on the Key Technologies of Isolated Execution Environment,TP393.08
2. Design and Development of Application Programme for Fault Analyzer Based on Wince Platform,TP311.52
3. The Technologies for Interoperability of Heterogeneous Enterprise Applications and Their Application in Material SCM,TP311.52
4. The Software Component Modeling Method Based on Feature and Its Application in VMI Management System,TP311.52
5. Development of Software Platform for Electro-Optical Test System,TP311.52
6. The Development of Soft System for Power Load Management Terminal Testing Device,TP311.52
7. The Design and Realization of NS2-based PeerCast Simulation Platform,TP311.52
8. The Research and Design of Middle-Small Enterprises Purchase-Sales-Inventory Management System,TP311.52
9. Logistics Management System Supporting Product and Material Tracing and Tracking,TP311.52
10. Research and Implementation for Method of AUTOSAR System Modeling,TP311.52
11. Design and Implementation of the weapons and equipment information management system,TP311.52
12. Design and Implementation of the teaching file management system,TP311.52
13. Force Online Examination System Design and Implementation,TP311.52
14. The Application of Virtual Reality Geographical Information System to Urban Design,TP311.52
15. Grass-roots forces the day-to-day management of information systems design and implementation,TP311.52
16. Design and Implementation of the military material procurement and supply management system,TP311.52
17. Development of the on-line Training and Examination System of Army,TP311.52
18. Management System Design and Implementation of troop strength,TP311.52
19. Army logistics material management system design and implementation,TP311.52
20. B / S structure of the military cadre management system design and realization of,TP311.52
21. Motor assist system for motorized units,TP311.52