1036 search results - page 23 / 208 » Verification Programs for Abduction |
115
click to vote
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
86
Voted
EPIA
2007
Springer
15 years 6 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
114
Voted
CAV
2004
Springer
15 years 4 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
103
Voted
APLAS
2010
ACM
15 years 27 days ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
126
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...