444 search results - page 62 / 89 » Automated Logical Verification Based on Trace Abstractions |
157
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
163
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
146
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
143
click to vote
LACL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
141
click to vote
BIRTHDAY
2010
Springer
15 years 9 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...