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 条
  • [31] Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
    Benajmin, Thibaut
    Signoles, Julien
    TESTS AND PROOFS, TAP 2023, 2023, 14066 : 168 - 186
  • [32] Combining partial order reductions with on-the-fly model-checking
    Peled, D
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (01) : 39 - 64
  • [33] On-the-fly techniques for game-based software model checking
    Bakewell, Adam
    Ghica, Dan R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 78 - 92
  • [34] On-the-fly model checking of fair non-repudiation Protocols
    Li, Guoqiang
    Ogawa, Mizuhito
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 511 - +
  • [35] On-the-fly symbolic model checking for real-time systems
    Bouajjani, A
    Tripakis, S
    Yovine, S
    18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 25 - 34
  • [36] A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
    Gava, Frederic
    Pommereau, Franck
    Guedj, Michael
    JOURNAL OF SUPERCOMPUTING, 2014, 69 (02): : 629 - 672
  • [37] Checking safety properties on-the-fly with the sweep-line method
    Gallasch G.E.
    Billington J.
    Vanit-Anunchai S.
    Kristensen L.M.
    Int. J. Softw. Tools Technol. Trans., 2007, 3-4 (371-391): : 371 - 391
  • [38] A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
    Gava, Frederic
    Guedj, Michael
    Pommereau, Franck
    2012 13TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS, AND TECHNOLOGIES (PDCAT 2012), 2012, : 79 - 84
  • [39] A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
    Frédéric Gava
    Franck Pommereau
    Michaël Guedj
    The Journal of Supercomputing, 2014, 69 : 629 - 672
  • [40] Improved on-the-fly equivalence checking using boolean equation systems
    Mateescu, Radu
    Oudot, Emilie
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 196 - 213
12345