A hybrid tool for linking HOL theorem proving with MDG model checking
Nowadays, the formal verification of hardware is gaining a lot of importance in the design flow of micro-electronics systems. There exists several formal hardware verification approaches each with its own advantages and drawbacks. Hence, the idea of linking different approaches to benefit from their...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2003
|
| Online Access: | http://spectrum.library.concordia.ca/2132/1/MQ77686.pdf Mizouni, Rabeb <http://spectrum.library.concordia.ca/view/creators/Mizouni=3ARabeb=3A=3A.html> (2003) A hybrid tool for linking HOL theorem proving with MDG model checking. Masters thesis, Concordia University. |