3 search results - page 1 / 1 » Debugging Overconstrained Declarative Models Using Unsatisfi... |
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
FM
2008
Springer
15 years 1 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
SCAM
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...