1018 search results - page 194 / 204 » Abstraction and Refinement in Model Checking |
82
Voted
ENTCS
2006
15 years 14 days ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
92
Voted
IJFCS
2006
15 years 14 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
109
click to vote
KI
2006
Springer
15 years 12 days ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
132
Voted
ICOODB
2009
14 years 10 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
122
click to vote
TDSC
2011
14 years 7 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...