Search Sciweavers | Sciweavers

440 search results - page 8 / 88

» Predicate Abstraction with Indexed Predicates

140

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

16 years 1 months ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

142

Voted

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

16 years 29 days ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

134

click to vote

DSN
2007
IEEE

89views Computer Networks» more DSN 2007»

Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults

16 years 23 days ago

Download infoscience.epfl.ch

Martin Hutle, André Schiper

claim paper

Read More »

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

16 years 21 days ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

123

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers