Search Sciweavers | Sciweavers

395 search results - page 7 / 79

» Predicate Abstraction with Minimum Predicates

119

Voted

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

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

15 years 10 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

103

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

15 years 10 months ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

115

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 9 months ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

100

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 9 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers