Model checking embedded and real time systems

被引：0
|
作者：
Larsen, Kim G. [1 ]
机构：
[1] Univ Aalborg, Aalborg, Denmark
来源：
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS | 2008年
关键词：
D O I：
10.1109/WODES.2008.4605955
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：260 / 260
页数：1
相关论文
共 50 条
  • [41] Combined formal refinement and model checking for real-time systems verification
    Krupp, A
    Mueller, W
    Oliver, I
    LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 301 - 314
  • [42] Scheduling analysis based on model checking for multiprocessor real-time systems
    Karamti, Walid
    Mahfoudhi, Adel
    JOURNAL OF SUPERCOMPUTING, 2014, 68 (03): : 1604 - 1629
  • [43] SBIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
    Mediouni, Braham Lotfi
    Nouri, Ayoub
    Bozga, Marius
    Dellabani, Mahieddine
    Legay, Axel
    Bensalem, Saddek
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018), 2018, 11138 : 536 - 542
  • [44] SMT-based Bounded Model Checking for Real-time Systems
    Xu, Liang
    QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 120 - 125
  • [45] Symbolic model checking for event-driven real-time systems
    Yang, J
    Mok, AK
    Wang, F
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 386 - 412
  • [46] Scheduling analysis based on model checking for multiprocessor real-time systems
    Walid Karamti
    Adel Mahfoudhi
    The Journal of Supercomputing, 2014, 68 : 1604 - 1629
  • [47] Formula based abstractions of transition systems for real-time model checking
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    FM'99-FORMAL METHODS, 1999, 1708 : 289 - 306
  • [48] Model checking real-time component based systems with blackbox testing
    Van Hung, D
    Anh, BV
    11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings, 2005, : 76 - 79
  • [49] Formal coverification of embedded systems using model checking
    Cortés, LA
    Eles, P
    Peng, Z
    PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II, 2000, : 106 - 113
  • [50] Model checking C source code for embedded systems
    Bastian Schlich
    Stefan Kowalewski
    International Journal on Software Tools for Technology Transfer, 2009, 11 (3) : 187 - 202
12345