Sciweavers

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

6

CORR
2007
Springer

favoriteEmaildiscussreport

90views Education» more CORR 2007»

Predicate Abstraction with Under-approximation Refinement

13 years 4 months ago

Predicate Abstraction with Under-approximation Refinement

Download www.cs.sun.ac.za

Corina S. Pasareanu, Radek Pelánek, Willem

Real-time Traffic

CORR 2007 | Education |

claim paper

Related Content

» Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop

» WordLevel PredicateAbstraction and Refinement Techniques for Verifying RTL Verilog

» Word level predicate abstraction and refinement for verifying RTL verilog

» Zapato Automatic Theorem Proving for Predicate Abstraction Refinement

» SLAB A Certifying Model Checker for InfiniteState Concurrent Systems

» Probabilistic CEGAR

» Possibilistic Information Flow Control in MAKS and Action Refinement

» Abstractions from proofs

» Type Reconstruction for General Refinement Types

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	CORR
Authors	Corina S. Pasareanu, Radek Pelánek, Willem Visser

Comments (0)