Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

99

Voted

CHARME
2003
Springer

68views Hardware» more CHARME 2003»

Predicate Abstraction with Minimum Predicates

15 years 8 months ago

Predicate Abstraction with Minimum Predicates

Download www.cs.cmu.edu

Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer St

Real-time Traffic

CHARME 2003 |

claim paper

Related Content

» Making Predicate Abstraction Efficient How to Eliminate Redundant Predicates

» GameBased Probabilistic Predicate Abstraction in PRISM

» Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstracti...

» Predicate Abstraction with Indexed Predicates

» Indexed Predicate Discovery for Unbounded System Verification

» Decidable OrderSorted Logic Programming for Ontologies and Rules with Argument Restructuri...

» Finite Differencing of Logical Formulas for Static Analysis

» Compositional Predicate Abstraction from Game Semantics

» Complexity and Algorithms for Monomial and Clausal Predicate Abstraction

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	CHARME
Authors	Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman

Comments (0)