Sciweavers

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

7

CAV
2005
Springer

favoriteEmaildiscussreport

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

13 years 10 months ago

Predicate Abstraction via Symbolic Decision Procedures

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

Real-time Traffic

CAV 2005 | Formal Methods |

claim paper

Related Content

» Evaluating QBFs via Symbolic Skolemization

» Deriving Invariants by Algorithmic Learning Decision Procedures and Predicate Abstraction

» Making prophecies with decision predicates

» Automated Symbolic Reachability Analysis with Application to DeltaNotch Signaling Automata

» Range Allocation for Separation Logic

» SMT Techniques for Fast Predicate Abstraction

» Generalized efficient array decision procedures

» Combining decision procedures for the reals

» Inferring Invariants by Symbolic Execution

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CAV
Authors	Shuvendu K. Lahiri, Thomas Ball, Byron Cook

Comments (0)