3481 search results - page 23 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
IFIP
2001
Springer
14 years 2 hour ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
LPNMR
2004
Springer
14 years 27 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
RE
2001
Springer
13 years 12 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
ICLP
2007
Springer
14 years 1 months ago
2007
Springer