79
Voted
CAV
15 years 2 months ago
2005 Springer  CAV
15 years 2 months ago
2005 Springer 
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
66
Voted
CAV
15 years 2 months ago
2005 Springer 106
click to vote
CAV
15 years 2 months ago
2005 Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
72
Voted
CAV
15 years 2 months ago
2005 Springer 
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
|
Hardware