Model checking of robotic control systems

被引：0
|
作者：
Scherer, S. [1 ]
Lerda, F. [2 ]
Clarke, E.M. [2 ]
机构：
[1] Robotics Institute, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, United States
[2] Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, United States
来源：
European Space Agency, (Special Publication) ESA SP | 2005年 / 603期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
17
引用
收藏
页码：371 / 378
相关论文
共 50 条
  • [41] Model checking timed systems with urgencies
    Hsiung, Pao-Ann
    Lin, Shang-Wei
    Chen, Yean-Ru
    Huang, Chun-Hsian
    Yeh, Jia-Jen
    Sun, Hong-Yu
    Lin, Chao-Sheng
    Liao, Hsiao-Win
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 67 - 81
  • [42] Model checking concurrent systems with MSVL
    Nan ZHANG
    Zhenhua DUAN
    Cong TIAN
    ScienceChina(InformationSciences), 2016, 59 (11) : 224 - 226
  • [43] Model checking embedded systems with PROMELA
    Ribeiro, OR
    Fernandes, JM
    Pinto, LF
    12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2005, : 378 - 385
  • [44] Model checking fault tolerant systems
    Bernardeschi, C
    Fantechi, A
    Gnesi, S
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2002, 12 (04): : 251 - 275
  • [45] Complexity of model checking for reaction systems
    Azimi, Sepinoud
    Gratie, Cristian
    Ivanov, Sergiu
    Manzoni, Luca
    Petre, Ion
    Porreca, Antonio E.
    THEORETICAL COMPUTER SCIENCE, 2016, 623 : 103 - 113
  • [46] Model-checking quantum systems
    Ying, Mingsheng
    Feng, Yuan
    NATIONAL SCIENCE REVIEW, 2019, 6 (01) : 28 - 31
  • [47] Bounded model checking for timed systems
    Audemard, G
    Cimatti, A
    Kornilowicz, A
    Sebastiani, R
    FORMAL TECHNIQUE FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002, PROCEEDINGS, 2002, 2529 : 243 - 259
  • [48] Model Checking Hierarchical Probabilistic Systems
    Sun, Jun
    Song, Songzheng
    Liu, Yang
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 388 - +
  • [49] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
  • [50] Model checking for probabilistic timed systems
    Sproston, J
    VALIDATION OF STOCHASTIC SYSTEMS: A GUIDE TO CURRENT RESEARCH, 2004, 2925 : 189 - 229
12345