Search Sciweavers | Sciweavers

395 search results - page 8 / 79

» Predicate Abstraction with Minimum Predicates

120

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

16 years 10 hour ago

Download www.eecs.harvard.edu

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

claim paper

Read More »

135

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

15 years 11 months ago

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

132

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 11 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

133

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

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

15 years 11 months ago

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

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

claim paper

Read More »

136

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers