Sciweavers

30 search results - page 1 / 6
» cav 2005
Sort
View
67
Voted
CAV
2005
Springer
100views Hardware» more  CAV 2005»
15 years 3 months ago
Yet Another Decision Procedure for Equality Logic
Orly Meir, Ofer Strichman
69
Voted
CAV
2005
Springer
89views Hardware» more  CAV 2005»
15 years 3 months ago
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic
Robert Nieuwenhuis, Albert Oliveras
69
Voted
CAV
2005
Springer
114views Hardware» more  CAV 2005»
15 years 3 months ago
Bounded Model Checking of Concurrent Programs
Ishai Rabinovitz, Orna Grumberg
67
Voted
CAV
2005
Springer
151views Hardware» more  CAV 2005»
15 years 3 months ago
Saturn: A SAT-Based Tool for Bug Detection
Yichen Xie, Alexander Aiken
73
Voted
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 3 months ago
Probabilistic Verification for "Black-Box" Systems
Håkan L. S. Younes