Search Sciweavers | Sciweavers

440 search results - page 8 / 88

» Predicate Abstraction with Indexed Predicates

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

15 years 4 months ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 4 months ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

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

15 years 4 months 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

15 years 4 months ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

click to vote

ESOP
2007
Springer

87views Programming Languages» more ESOP 2007»

Abstract Predicates and Mutable ADTs in Hoare Type Theory

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers