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 条
  • [21] On-the-fly model checking from interval logic specifications
    Hornos, MJ
    Capel, MI
    ACM SIGPLAN NOTICES, 2002, 37 (12) : 108 - 119
  • [22] On-the-Fly Model Checking under Fairness that Exploits Symmetry
    Math., Stat. and Comp. Sci. Dept., University of Illinois, Chicago, IL, United States
    不详
    Formal Methods Syst Des, 3 (217-238):
  • [23] Distributed on-the-fly model checking and test case generation
    Joubert, C
    Mateescu, R
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 126 - 145
  • [24] On-the-fly model checking of program runs for automated debugging
    Frey, M
    Schlingloff, BH
    24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 426 - 434
  • [25] On-The-Fly Bisimilarity Checking for Fresh-Register Automata
    Bandukara, M. H.
    Tzevelekos, N.
    DEPENDABLE SOFTWARE ENGINEERING. THEORIES, TOOLS, AND APPLICATIONS, SETTA, 2022, 13649 : 187 - 204
  • [26] Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
    Bulychev, Peter
    Chatain, Thomas
    David, Alexandre
    Larsen, Kim G.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 73 - 87
  • [27] On-the-fly TCTL model checking for time Petri nets
    Hadjidj, Rachid
    Boucheneb, Hanifa
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (42) : 4241 - 4261
  • [28] On-the-fly model checking under fairness that exploits symmetry
    Gyuris, V
    Sistla, AP
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 232 - 243
  • [29] Advances in On-the-Fly Emptiness Checking Algorithms for Buchi Automata
    Zhao, Lu
    Zhang, Jianpei
    Yang, Jing
    2012 IEEE FIFTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2012, : 113 - 118
  • [30] Reducing Polar Decoding Latency by Neural Network-based On-the-fly Decoder Selection (Extended Abstract)
    Elkelesh, Ahmed
    Cammerer, Sebastian
    ten Brink, Stephan
    2020 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), 2020, : 206 - 207
12345