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 条
  • [1] VeriFly: On-the-fly Assertion Checking via Incrementality
    Sanchez-Ordaz, Miguel A.
    Garcia-Contreras, Isabel
    Perez, Victor
    Morales, Jose F.
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel V.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (06) : 768 - 784
  • [2] Heuristic on-the-fly model checking algorithm for extended TGBA
    Wang, Xi, 1600, Science Press (37):
  • [3] On-the-fly model checking for extended action-based probabilistic operators
    Radu Mateescu
    José Ignacio Requeno
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 563 - 587
  • [4] On-the-fly model checking for extended action-based probabilistic operators
    Mateescu, Radu
    Ignacio Requeno, Jose
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (05) : 563 - 587
  • [5] On-the-fly Probabilistic Model Checking
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (166): : 45 - 59
  • [6] Distributed On-the-Fly Equivalence Checking
    Joubert, Christophe
    Mateescu, Radu
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (03) : 47 - 62
  • [7] On-the-fly model checking for C programs with extended CADP in FMICS-jETI
    del Mar Gallardo, Maria
    Merino, Pedro
    Sanan, David
    Joubert, Christophe
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 321 - +
  • [8] An architecture for on-the-fly file integrity checking
    Borchardt, M
    Maziero, C
    Jamhour, E
    DEPENDABLE COMPUTING, 2003, 2847 : 117 - 126
  • [9] On-the-Fly Model Checking with Neural MCTS
    Xu, Ruiyang
    Lieberherr, Karl
    NASA FORMAL METHODS (NFM 2022), 2022, 13260 : 557 - 575
  • [10] Next heuristic for on-the-fly model checking
    Alur, R
    Wang, BY
    CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 98 - 113
12345