共 50 条
- [31] Approximate Model Checking of Real-time Systems for Linear Duration Invariants 2012 INTERNATIONAL CONFERENCE ON APPLIED INFORMATICS AND COMMUNICATION (ICAIC 2012), 2013, : 16 - 21
- [32] Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 183 - 219
- [33] Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking PRIMA 2016: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2016, 9862 : 149 - 167
- [34] Spatio-temporal model checking for mobile real-time systems THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 347 - 361
- [35] Combined formal refinement and model checking for real-time systems verification LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 301 - 314
- [36] PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 147 - +
- [37] Scheduling analysis based on model checking for multiprocessor real-time systems JOURNAL OF SUPERCOMPUTING, 2014, 68 (03): : 1604 - 1629
- [38] Scheduling analysis based on model checking for multiprocessor real-time systems The Journal of Supercomputing, 2014, 68 : 1604 - 1629
- [39] Symbolic model checking for event-driven real-time systems ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 386 - 412
- [40] Model checking real-time component based systems with blackbox testing 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings, 2005, : 76 - 79