共 50 条
- [21] Using SPIN model checking for flight software verification 2002 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2002, : 105 - 113
- [22] Scalable software model checking using design for verification VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 337 - 346
- [23] Combining Predicate and Numeric Abstraction for Software Model Checking 2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2008, : 127 - 135
- [24] SAFEHULL - NEW DESIGN SOFTWARE FROM ABS FOR REAL-LIFE ANALYSIS NAVAL ARCHITECT, 1993, : E513 - E513
- [28] Combining testing and model checking for verification of high assurance systems EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 279 - 280
- [29] Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties NASA FORMAL METHODS, 2011, 6617 : 406 - +
- [30] Combining real-time model-checking and fault tree analysis FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 522 - 541