AbstractWe define two logics of safety specifications for reactive systems. The logics provide a setting for the study of composition rules. The two logics arise naturally from extant specification approaches; one of the logics is intuitionistic, while the other one is linear
In short, this thesis shows that compositional specification and verification are doable in rewritin...
AbstractPrevious work has introduced the setting of Logic Labelled Transition Systems, called Logic ...
This paper explores theories that help in (i) proving that a system composed from components satisfi...
AbstractWe define two logics of safety specifications for reactive systems. The logics provide a set...
Abstract. We present a logic of specifications of reactive systems. The logic is independent of part...
Abstract. We consider the problem of compositional refinement of com-ponents ’ specifications in the...
D↓ is a new dynamic logic combining regular modalities with the binder constructor typical of hybrid...
In this paper we present a generalisation of a promising compositional model-checking technique intr...
Over the last years, there has been growing interest in synthesizing reactive systems from quantitat...
Abstract. We propose a compositional specification theory for reason-ing about components that inter...
We propose a compositional specification theory for reasoning about components that interact by sync...
Design-by-contract is an important technique for model-based design in which a composite system is s...
We present a formalization of refinement calculus for reactive sys-tems. Refinement calculus is base...
We present a formalization of refinement calculus for reactive sys-tems. Refinement calculus is base...
Journal ArticleIn a companion paper in these proceedings [6], we introduced the CCS notation and exp...
In short, this thesis shows that compositional specification and verification are doable in rewritin...
AbstractPrevious work has introduced the setting of Logic Labelled Transition Systems, called Logic ...
This paper explores theories that help in (i) proving that a system composed from components satisfi...
AbstractWe define two logics of safety specifications for reactive systems. The logics provide a set...
Abstract. We present a logic of specifications of reactive systems. The logic is independent of part...
Abstract. We consider the problem of compositional refinement of com-ponents ’ specifications in the...
D↓ is a new dynamic logic combining regular modalities with the binder constructor typical of hybrid...
In this paper we present a generalisation of a promising compositional model-checking technique intr...
Over the last years, there has been growing interest in synthesizing reactive systems from quantitat...
Abstract. We propose a compositional specification theory for reason-ing about components that inter...
We propose a compositional specification theory for reasoning about components that interact by sync...
Design-by-contract is an important technique for model-based design in which a composite system is s...
We present a formalization of refinement calculus for reactive sys-tems. Refinement calculus is base...
We present a formalization of refinement calculus for reactive sys-tems. Refinement calculus is base...
Journal ArticleIn a companion paper in these proceedings [6], we introduced the CCS notation and exp...
In short, this thesis shows that compositional specification and verification are doable in rewritin...
AbstractPrevious work has introduced the setting of Logic Labelled Transition Systems, called Logic ...
This paper explores theories that help in (i) proving that a system composed from components satisfi...
DOI
Add to ORKG