4513 search results - page 43 / 903 » Logic programming with satisfiability |
FM
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
LPNMR
1999
Springer
15 years 2 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
65
Voted
CADE
2008
Springer
15 years 10 months ago
2008
Springer
CADE
1994
Springer
15 years 2 months ago
1994
Springer
99
Voted
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...