Search Sciweavers | Sciweavers

395 search results - page 8 / 79

» Predicate Abstraction with Minimum Predicates

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

14 years 4 months ago

Download www.eecs.harvard.edu

Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...

claim paper

Read More »

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

14 years 3 months ago

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

14 years 3 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

14 years 3 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers