Sciweavers

5255 search results - page 141 / 1051

» Formal Methods for Privacy

108

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 9 months ago

Predicate Abstraction via Symbolic Decision Procedures

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

113

Voted

CAV
2005
Springer

100views Hardware» more CAV 2005»

Yet Another Decision Procedure for Equality Logic

15 years 9 months ago

Yet Another Decision Procedure for Equality Logic

Download www.cs.cmu.edu

Orly Meir, Ofer Strichman

claim paper

Read More »

111

CAV
2005
Springer

89views Hardware» more CAV 2005»

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

15 years 9 months ago

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

Download www.lsi.upc.es

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »

115

Voted

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 9 months ago

Bounded Model Checking of Concurrent Programs

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

115

Voted

CAV
2005
Springer

151views Hardware» more CAV 2005»

Saturn: A SAT-Based Tool for Bug Detection

15 years 9 months ago

Saturn: A SAT-Based Tool for Bug Detection

Download theory.stanford.edu

Yichen Xie, Alexander Aiken

claim paper

Read More »

« Prev « First page 141 / 1051 Last » Next »