Highlevel Verification of Control Intensive Systems Using Predicate Abstraction

Formal Methods and Models for System Design ◽

10.1007/978-1-4020-8052-4_7 ◽

2004 ◽

pp. 159-179

Author(s):

Edmund Clarke ◽

Orna Grumberg ◽

Muralidhar Talupur ◽

Dong Wang

Keyword(s):

Predicate Abstraction

Download Full-text

Advances in Predicate Abstraction

Journal of Software ◽

10.3724/sp.j.1001.2008.00027 ◽

2008 ◽

Vol 19 (1) ◽

pp. 27-38 ◽

Cited By ~ 2

Author(s):

Wan-Xia QU

Keyword(s):

Predicate Abstraction

Download Full-text

Transition predicate abstraction and fair termination

Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05 ◽

10.1145/1040305.1040317 ◽

2005 ◽

Cited By ~ 33

Author(s):

Andreas Podelski ◽

Andrey Rybalchenko

Keyword(s):

Predicate Abstraction

Download Full-text

Formal Verification of Database Applications Using Predicate Abstraction

SN Computer Science ◽

10.1007/s42979-020-00426-2 ◽

2021 ◽

Vol 2 (3) ◽

Author(s):

Md Imran Alam ◽

Raju Halder

Keyword(s):

Formal Verification ◽

Predicate Abstraction ◽

Database Applications

Download Full-text

Program verification using templates over predicate abstraction

ACM SIGPLAN Notices ◽

10.1145/1543135.1542501 ◽

2009 ◽

Vol 44 (6) ◽

pp. 223-234 ◽

Cited By ~ 15

Author(s):

Saurabh Srivastava ◽

Sumit Gulwani

Keyword(s):

Program Verification ◽

Predicate Abstraction

Download Full-text

Verification of SpecC using predicate abstraction

Formal Methods in System Design ◽

10.1007/s10703-006-0020-3 ◽

2006 ◽

Vol 30 (1) ◽

pp. 5-28 ◽

Cited By ~ 9

Author(s):

Edmund Clarke ◽

Himanshu Jain ◽

Daniel Kroening

Keyword(s):

Predicate Abstraction

Download Full-text

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory

Intelligent Information and Database Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15702-3_57 ◽

2015 ◽

pp. 593-602 ◽

Cited By ~ 1

Author(s):

Hongbiao Gao ◽

Yuichi Goto ◽

Jingde Cheng

Keyword(s):

Set Theory ◽

Predicate Abstraction

Download Full-text

Constraint-Based Invariant Inference over Predicate Abstraction

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-93900-9_13 ◽

2008 ◽

pp. 120-135 ◽

Cited By ~ 28

Author(s):

Sumit Gulwani ◽

Saurabh Srivastava ◽

Ramarathnam Venkatesan

Keyword(s):

Predicate Abstraction

Download Full-text

Structure-aware computation of predicate abstraction

2009 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2009.5351149 ◽

2009 ◽

Cited By ~ 4

Author(s):

Alessandro Cimatti ◽

Jori Dubrovin ◽

Tommi Junttila ◽

Marco Roveri

Keyword(s):

Predicate Abstraction

Download Full-text

SMT Techniques for Fast Predicate Abstraction

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_39 ◽

2006 ◽

pp. 424-437 ◽

Cited By ~ 46

Author(s):

Shuvendu K. Lahiri ◽

Robert Nieuwenhuis ◽

Albert Oliveras

Keyword(s):

Predicate Abstraction

Download Full-text

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_36 ◽

2004 ◽

pp. 457-461 ◽

Cited By ~ 34

Author(s):

Thomas Ball ◽

Byron Cook ◽

Shuvendu K. Lahiri ◽

Lintao Zhang

Keyword(s):

Theorem Proving ◽

Predicate Abstraction ◽

Automatic Theorem Proving ◽

Abstraction Refinement ◽

Automatic Theorem

Download Full-text