1036 search results - page 163 / 208 » Verification Programs for Abduction |
124
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
121
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
177
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
172
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
138
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...