Generalized abstraction-refinement for game-based CTL lifted model checking

Theoretical Computer Science ◽

10.1016/j.tcs.2020.06.011 ◽

2020 ◽

Vol 837 ◽

pp. 181-206 ◽

Author(s):

Aleksandar S. Dimovski ◽

Axel Legay ◽

Andrzej Wasowski

Keyword(s):

Model Checking ◽

Abstraction Refinement

Download Full-text

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_16 ◽

2006 ◽

pp. 245-259 ◽

Author(s):

Andreas Podelski ◽

Andrey Rybalchenko

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Abstraction Refinement ◽

Download Full-text

A type-directed abstraction refinement approach to higher-order model checking

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/2535838.2535873 ◽

2014 ◽

Author(s):

Steven J. Ramsay ◽

Robin P. Neatherway ◽

C.-H. Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model ◽

Abstraction Refinement

Download Full-text

Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-004-0169-2 ◽

2005 ◽

Vol 7 (2) ◽

pp. 143-155 ◽

Author(s):

Bing Li ◽

Chao Wang ◽

Fabio Somenzi

Keyword(s):

Model Checking ◽

Decision Procedure ◽

Symbolic Model Checking ◽

Abstraction Refinement ◽

Download Full-text

An efficient approach for abstraction-refinement in model checking

Theoretical Computer Science ◽

10.1016/j.tcs.2011.12.014 ◽

2012 ◽

Vol 461 ◽

pp. 76-85 ◽

Author(s):

Cong Tian ◽

Zhenhua Duan ◽

Nan Zhang

Keyword(s):

Model Checking ◽

Abstraction Refinement ◽

Efficient Approach

Download Full-text

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking

IEEE Transactions on Computers ◽

10.1109/tc.2009.105 ◽

2010 ◽

Vol 59 (1) ◽

pp. 116-126 ◽

Author(s):

Fei He ◽

Xiaoyu Song ◽

William N. N. Hung ◽

Ming Gu ◽

Jiaguang Sun

Keyword(s):

Model Checking ◽

Evolutionary Computation ◽

Abstraction Refinement

Download Full-text

Three-valued bounded model checking with cause-guided abstraction refinement

Science of Computer Programming ◽

10.1016/j.scico.2019.02.002 ◽

2019 ◽

Vol 175 ◽

pp. 37-62 ◽

Author(s):

Nils Timm ◽

Stefan Gruner

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Abstraction Refinement

Download Full-text

SAT-Based Counterexample Guided Abstraction Refinement in Model Checking

Automated Deduction – CADE-19 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45085-6_1 ◽

2003 ◽

pp. 1-1 ◽

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Abstraction Refinement

Download Full-text

Variability-Specific Abstraction Refinement for Family-Based Model Checking

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54494-5_24 ◽

2017 ◽

pp. 406-423 ◽

Author(s):

Aleksandar S. Dimovski ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Abstraction Refinement ◽

Download Full-text

Abstraction Refinement for Bounded Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11513988_11 ◽

2005 ◽

pp. 112-124 ◽

Author(s):

Anubhav Gupta ◽

Ofer Strichman

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Abstraction Refinement

Download Full-text

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-030-12988-0_9 ◽

2019 ◽

pp. 139-157 ◽

Author(s):

Nils Timm ◽

Stefan Gruner

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Abstraction Refinement ◽

Path Constraints

Download Full-text