209 search results - page 42 / 42 » Inductive Reasoning and Programming Visualization, an Experi... |
165
Voted
TPHOL
2007
IEEE
16 years 2 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
170
Voted
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
205
Voted
PPOPP
2012
ACM
14 years 1 months ago
2012
ACM
Existing concurrency platforms for dynamic multithreading do not provide repeatable parallel random-number generators. This paper proposes that a mechanism called pedigrees be bui...
173
Voted
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...