First order model checking of w-Automata using multiway decision graphs
As the complexity of hardware digital systems increases, their correctness becomes a major concern. Traditional verification by simulation is infeasible to exhaustively test and guarantee correctness. More than a decade ago, however, formal verification has been introduced as complement technique to...
Main Author: | |
---|---|
Format: | Others |
Published: |
2005
|
Online Access: | http://spectrum.library.concordia.ca/8869/1/NR05723.pdf Wang, Fang <http://spectrum.library.concordia.ca/view/creators/Wang=3AFang=3A=3A.html> (2005) First order model checking of w-Automata using multiway decision graphs. PhD thesis, Concordia University. |