Performance analysis of symbolic reachability algorithms in model checking
Simulation used to be the most common technique to test the correctness of a system. However, the complexity and size of digital systems has increased drastically during the last few years, which exposes increasingly intractable problems faced by simulation. In order to solve the problems, formal ve...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1911/17391 |