AbstractThe hierarchical development method is one of the most practical and effective methods for designing large reactive systems by allowing a design at different levels of abstraction. Combining hierarchical specification with hierarchical implementation plays a key role in decreasing the complexity of the verification of these systems. But, up to now, little work has been done related to the topic. In this paper, we investigate this issue
As part of a comprehensive design concept for complex reactive systems we investigate the derivation...
Associated research group: Critical Systems Research GroupSystems are naturally constructed in hiera...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
The hierarchical development method is one of the most practical and effective methods for designing...
AbstractThe hierarchical development method is one of the most practical and effective methods for d...
Abstract. Action refinement is a practical hierarchical method to ease the design of large reactive ...
This contribution presents some ideas on the synthesis of hierarchical control systems. Hierarchical...
In many approaches to the verification of reactive systems, operational semantics are used to model ...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
The recently introduced concept of system abstraction appears to be a promising tool for control pur...
The topic of this contribution is the synthesis of hierarchical control systems for hybrid problems....
A new hierarchical model is described for the specification and management of control-flow informati...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
We study certain classes of verification problems for parametric reactive and hybrid systems, and id...
As part of a comprehensive design concept for complex reactive systems we investigate the derivation...
Associated research group: Critical Systems Research GroupSystems are naturally constructed in hiera...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
The hierarchical development method is one of the most practical and effective methods for designing...
AbstractThe hierarchical development method is one of the most practical and effective methods for d...
Abstract. Action refinement is a practical hierarchical method to ease the design of large reactive ...
This contribution presents some ideas on the synthesis of hierarchical control systems. Hierarchical...
In many approaches to the verification of reactive systems, operational semantics are used to model ...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques wi...
The recently introduced concept of system abstraction appears to be a promising tool for control pur...
The topic of this contribution is the synthesis of hierarchical control systems for hybrid problems....
A new hierarchical model is described for the specification and management of control-flow informati...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
We study certain classes of verification problems for parametric reactive and hybrid systems, and id...
As part of a comprehensive design concept for complex reactive systems we investigate the derivation...
Associated research group: Critical Systems Research GroupSystems are naturally constructed in hiera...
Abstract:- The paper describes model checking for reactive systems with timing constraints. Model of...
DOI
Add to ORKG