Add to ORKGThis set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards ecient checking of system: it aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property
In this paper, we introduce a process of formal system development supported by interactive theorem ...
One of today’s challenges is producing reliable software in the face of an increasing number of inte...
A prole-dependent \dependability " for software can be dened using a functional prole (a set of...
This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between comp...
A failure in safety-critical systems, such as vehicles, aircrafts, etc., may endanger human lives. I...
This paper presents a formal framework for modeling and analysis of data and control flow dependenci...
International audienceThis paper presents a formal development of an Isabelle/HOL theory for the beh...
International audienceIn the context of interactive formal verification of complex systems, much eff...
Software components and the methodology of component-based development offer a promising approach to...
Abstract. This paper presents a formal development of an Isabelle/HOL theory for the behavioral aspe...
The main characteristics of component models is their strict structure enabling better code reuse. C...
We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Amo...
A robust system is one that can ensure essential services in spite of faults and failures in useful ...
With the increase in development of safety and security critical systems, it is important to have mo...
Software model checking is a process of checking for properties of a software application and thus a...
In this paper, we introduce a process of formal system development supported by interactive theorem ...
One of today’s challenges is producing reliable software in the face of an increasing number of inte...
A prole-dependent \dependability " for software can be dened using a functional prole (a set of...
This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between comp...
A failure in safety-critical systems, such as vehicles, aircrafts, etc., may endanger human lives. I...
This paper presents a formal framework for modeling and analysis of data and control flow dependenci...
International audienceThis paper presents a formal development of an Isabelle/HOL theory for the beh...
International audienceIn the context of interactive formal verification of complex systems, much eff...
Software components and the methodology of component-based development offer a promising approach to...
Abstract. This paper presents a formal development of an Isabelle/HOL theory for the behavioral aspe...
The main characteristics of component models is their strict structure enabling better code reuse. C...
We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Amo...
A robust system is one that can ensure essential services in spite of faults and failures in useful ...
With the increase in development of safety and security critical systems, it is important to have mo...
Software model checking is a process of checking for properties of a software application and thus a...
In this paper, we introduce a process of formal system development supported by interactive theorem ...
One of today’s challenges is producing reliable software in the face of an increasing number of inte...
A prole-dependent \dependability " for software can be dened using a functional prole (a set of...