Checker generation of assertions with local variables for model checking

被引：0
|
作者：
Osaka University, Japan [1 ]
不详 [2 ]
机构：
来源：
IPSJ Trans. Syst. LSI Des. Methodol. | / 80-92期
关键词：
721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
相关论文
共 50 条
  • [1] Symbolic model checking and simulation with temporal assertions
    Weiss, RJ
    Ruf, J
    Kropf, T
    Rosenstiel, W
    ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR SOCS: SELECTED CONTRIBUTIONS FROM FDL'04, 2005, : 275 - 291
  • [2] Process Compliance checking using Model Checker
    Sebastian, Ritz
    Asokan, Shimmi
    PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON INVENTIVE COMMUNICATION AND COMPUTATIONAL TECHNOLOGIES (ICICCT), 2017, : 363 - 368
  • [3] Automatic generation of executable assertions for runtime checking temporal requirements
    Pintér, G
    Majzik, I
    Ninth IEEE International Symposium on High-Assurance Systems Engineering, 2005, : 111 - 120
  • [4] Incorporating Local Variables in Mixed-Signal Assertions
    Mukherjee, Subhankar
    Dasgupta, Pallab
    TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2009, : 2371 - 2375
  • [5] Interpreting Local Variables in AMS Assertions During Simulation
    Ain, Antara
    Dasgupta, Pallab
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2019, 38 (05) : 980 - 984
  • [6] Model Checking a Model Checker: A Code Contract Combined Approach
    Sun, Jun
    Liu, Yang
    Cheng, Bin
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 518 - +
  • [7] Challenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
    Reinbacher, Thomas
    Kramer, Michael
    Horauer, Martin
    Schlich, Bastian
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 245 - +
  • [8] Checking Java']Java Assertions Using Automated Test-Case Generation
    Caballero, Rafael
    Montenegro, Manuel
    Kuchen, Herbert
    von Hof, Vincent
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 221 - 226
  • [9] Family-based Model Checking using Probabilistic Model Checker PRISM
    Kishi, Tomoji
    PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 376 - 385
  • [10] Is your model checker on time? On the complexity of model checking for timed modal logics
    Aceto, L
    Laroussinie, F
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 7 - 51
12345