Structural model checking
The introduction of symbolic approaches, based on Binary Decision Diagrams (BDD), to Model Checking has led to significant improvements in Formal Verification, by allowing the analysis of very large systems, such as complex circuit designs. These were previously beyond the reach of traditional, expl...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
W&M ScholarWorks
2004
|
| Subjects: | |
| Online Access: | https://scholarworks.wm.edu/etd/1539623441 https://scholarworks.wm.edu/cgi/viewcontent.cgi?article=3232&context=etd |