1902 search results - page 68 / 381 » Differential Dynamic Logics |
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
IJIS
2002
13 years 10 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
INFSOF
2002
13 years 10 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
CONCUR
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...