Abstract property verifier based on multiway decision graphs

Abstract property verifier based on multiway decision graphs

Symbolic model-checking tools encounter state-explosion problem when verifying designs with large data paths. Multiway Decision Graph (MDG) model-checker uses abstract data representation and applies abstract operations to address the state explosion problem. The MDG verification tool, also known as...

Full description

Bibliographic Details
Main Author: Hussain, Kamran
Format: Others
Published: 2007
Online Access:http://spectrum.library.concordia.ca/975629/1/MR40883.pdf
Hussain, Kamran <http://spectrum.library.concordia.ca/view/creators/Hussain=3AKamran=3A=3A.html> (2007) Abstract property verifier based on multiway decision graphs. Masters thesis, Concordia University.

Internet

http://spectrum.library.concordia.ca/975629/1/MR40883.pdf
Hussain, Kamran <http://spectrum.library.concordia.ca/view/creators/Hussain=3AKamran=3A=3A.html> (2007) Abstract property verifier based on multiway decision graphs. Masters thesis, Concordia University.

Similar Items