ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
Terms and Predicate Abstraction
First-Order Modal Logic
◽
10.1007/978-94-011-5292-1_9
◽
1998
◽
pp. 187-203
Author(s):
Melvin Fitting
◽
Richard L. Mendelsohn
Keyword(s):
Predicate Abstraction
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close