227 search results - page 2 / 46 » Tutorial: Parallel Model Checking |
ICCD
2005
IEEE
13 years 10 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...
TCAD
2008
13 years 5 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...
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
ICPADS
2010
IEEE
13 years 3 months ago
2010
IEEE