174 search results - page 5 / 35 » Improving Design Patterns Finder Precision Using a Model Che... |
GLVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
AIME
2005
Springer
15 years 4 months ago
2005
Springer
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
CAV
2007
Springer
15 years 2 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...