Search Sciweavers | Sciweavers

395 search results - page 7 / 79

» Predicate Abstraction with Minimum Predicates

152

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

16 years 24 days ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

130

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

16 years 18 days ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

137

Voted

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

16 years 12 days ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

128

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 5 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 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers