1036 search results - page 29 / 208 » Verification Programs for Abduction |
117
Voted
JUCS
2010
14 years 7 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
112
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
105
Voted
TPHOL
1994
IEEE
15 years 4 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
105
click to vote
SAC
2010
ACM
15 years 27 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
133
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...