Integrating SAT with MDG for Efficient Invariant Checking
Multiway Decision Graph (MDG) is a canonical representation of a subset of many-sorted first-order logic. It generalizes the logic of equality with abstract types and uninterpreted function symbols. The area of Satisfiability (SAT) has been the subject of intensive research in recent years, with sig...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2011
|
| Online Access: | http://spectrum.library.concordia.ca/7171/1/Hoque_MASc_S2011.pdf Hoque, Khaza Anuarul <http://spectrum.library.concordia.ca/view/creators/Hoque=3AKhaza_Anuarul=3A=3A.html> (2011) Integrating SAT with MDG for Efficient Invariant Checking. Masters thesis, Concordia University. |