VeriFly: On-the-fly Assertion Checking with CiaoPP (extended abstract)

被引：0
|
作者：
Sanchez-Ordaz, Miguel A. [1 ,2 ]
Garcia-Contreras, Isabel [1 ,2 ]
Perez, Victor [1 ,2 ]
Morales, Jose F. [1 ,2 ]
Lopez-Garcia, Pedro [1 ,3 ]
Hermenegildo, Manuel, V [1 ,2 ]
机构：
[1] IMDEA Software Inst, Madrid, Spain
[2] Univ Politecn Madrid UPM, Madrid, Spain
[3] CSIC, Spanish Council Sci Res, Madrid, Spain
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 338期
关键词：
VERIFICATION; PROGRAMS;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：11
相关论文
共 50 条
  • [41] Fast on-the-fly parametric real-time model checking
    Zhang, DZ
    Cleaveland, R
    RTSS 2005: 26TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2005, : 157 - 166
  • [42] On-the-fly bisimulation equivalence checking for fresh-register automata
    Bandukara, M. H.
    Tzevelekos, N.
    JOURNAL OF SYSTEMS ARCHITECTURE, 2023, 145
  • [43] Checking On-the-Fly Universality and Inclusion Problems of Visibly Pushdown Automata
    Van Tang, Nguyen
    Ohsaki, Hitoshi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2011, E94A (12) : 2794 - 2801
  • [44] Bounded Rational Search for On-the-Fly Model Checking of LTL Properties
    Behjati, Razieh
    Sirjani, Marjan
    Ahmadabadi, Majid Nili
    FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 292 - 307
  • [45] A Proof Theory for Model Checking: An Extended Abstract
    Heath, Quentin
    Miller, Dale
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (238): : 1 - 10
  • [46] An optimal algorithm for checking regularity -: (Extended Abstract)
    Kohayakawa, Y
    Rödl, V
    Thomas, L
    PROCEEDINGS OF THE THIRTEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2002, : 277 - 286
  • [47] Markov regenerative processes solution and stochastic model checking: an on-the-fly approach
    Donatelli, Susanna
    PROCEEDINGS OF THE 12TH EAI INTERNATIONAL CONFERENCE ON PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS (VALUETOOLS 2019), 2019, : 1 - 1
  • [48] Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems
    Regin, Florian
    De Maria, Elisabetta
    2023 IEEE 35TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, ICTAI, 2023, : 393 - 398
  • [49] FBT: A tool for applying interval logic specifications to on-the-fly model checking
    Hornos, MJ
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (11) : 1498 - 1518
  • [50] Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
    Osama, Muhammad
    Wijs, Anton
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2024, 2024, 14571 : 23 - 43
12345