227 search results - page 2 / 46 » Tutorial: Parallel Model Checking |
120
Voted
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
112
Voted
TCAD
2008
15 years 1 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
102
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
117
Voted
CONCUR
1995
Springer
15 years 4 months ago
1995
Springer
84
Voted
ICPADS
2010
IEEE
14 years 11 months ago
2010
IEEE