2540 search results - page 177 / 508 » Abstract Logics as Dialgebras |
167
click to vote
ECML
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
167
click to vote
FCT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
199
click to vote
FMICS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
170
click to vote
SPIN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
144
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...