Sciweavers

30 search results - page 1 / 6
» cav 2005
Sort
View
CAV
2005
Springer
100views Hardware» more  CAV 2005»
13 years 9 months ago
Yet Another Decision Procedure for Equality Logic
Orly Meir, Ofer Strichman
CAV
2005
Springer
114views Hardware» more  CAV 2005»
13 years 9 months ago
Bounded Model Checking of Concurrent Programs
Ishai Rabinovitz, Orna Grumberg
CAV
2005
Springer
151views Hardware» more  CAV 2005»
13 years 9 months ago
Saturn: A SAT-Based Tool for Bug Detection
Yichen Xie, Alexander Aiken