Sciweavers

30 search results - page 1 / 6

» cav 2005

12

CAV
2005
Springer

100views Hardware» more CAV 2005»

Yet Another Decision Procedure for Equality Logic

13 years 10 months ago

Yet Another Decision Procedure for Equality Logic

Download www.cs.cmu.edu

Orly Meir, Ofer Strichman

claim paper

Read More »

13

CAV
2005
Springer

89views Hardware» more CAV 2005»

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

13 years 10 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 »

12

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

13 years 10 months ago

Bounded Model Checking of Concurrent Programs

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

15

CAV
2005
Springer

151views Hardware» more CAV 2005»

Saturn: A SAT-Based Tool for Bug Detection

13 years 10 months ago

Saturn: A SAT-Based Tool for Bug Detection

Download theory.stanford.edu

Yichen Xie, Alexander Aiken

claim paper

Read More »

15

CAV
2005
Springer

99views Hardware» more CAV 2005»

Probabilistic Verification for "Black-Box" Systems

13 years 10 months ago

Probabilistic Verification for "Black-Box" Systems

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »