137
Voted
CAV
15 years 8 months ago
2005 Springer  124
Voted
CAV
15 years 8 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...
112
Voted
CAV
15 years 8 months ago
2005 Springer 164
Voted
CAV
15 years 8 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...
119
Voted
CAV
15 years 8 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