Systematic Predicate Abstraction Using Variable Roles

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-57288-8_18 ◽

2017 ◽

pp. 265-281 ◽

Author(s):

Yulia Demyanova ◽

Philipp Rümmer ◽

Florian Zuleger

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Hongbiao Gao ◽

Yuichi Goto ◽

Jingde Cheng

Keyword(s):

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 ◽

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 ◽

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 ◽

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 ◽

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