3 search results - page 1 / 1 » Debugging Overconstrained Declarative Models Using Unsatisfi... |
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
FM
2008
Springer
13 years 6 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
13 years 9 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...