1036 search results - page 25 / 208 » Verification Programs for Abduction |
104
click to vote
WSC
2008
15 years 3 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
120
Voted
JUCS
2006
15 years 19 days ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
126
click to vote
TAP
2010
Springer
14 years 10 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
79
Voted
ICSE
1992
IEEE-ACM
15 years 4 months ago
1992
IEEE-ACM
This paper presents the tools Ald
108
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...