-
Proving inductive equalities algorithms and implementation
The aim of this paper is first to describe an algorithm for testing sufficient completeness and second to present concepts necessary to understand the behavior of an... -
Revue Travaux du CLAIX, N°22 : « La Qualification »
International audience -
Diasystème et spécification de traits en tu'un savi (mixtecan otomangue orien...
This contribution aims to focus on various descriptions and theories of the segmental inventory and distributional constraints of the phonology of Tu'un Savi (Mixtec).... -
An overview of CADP 2001
CADP is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of... -
OPTIMIX Language Manual (for OPTIMIX 2.0)
Projet OSCAR -
Modal specifications are a syntactic fragment of the Mu-calculus
In this report we introduce modal specifications, a new object dedicated to specify some branching-time properties for systems. Modal specifications are a useful tool... -
Factorising temporal specifications
This paper proposes a method to factorise the verification of temporal properties for multi-threaded programs over groups of different threads. Essentially, the method... -
Contribution for the Specification and the Verification of Temporal Requireme...
The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three... -
A formal approach for specification and verification of fault injection process
International audience -
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE app...
This report presents some of the results of the first year of Danse, one of the first EU IP projects dedicated to System of Systems. Concretely, we offer a tool chain... -
Validation of a New Functional Design of Automatic Protection Systems at Leve...
International audience -
Mathematical specification of an agend-based model of exchange
International audience -
Transcriptional control of cell-fate specification in the vertebrate hindbrain
During embryonic development, the cell fates are specified by the expression of lineage factors whose expression must be finely regulated to ensure proper organ... -
Evaluating the Impact of Marketing Mix Variables on Sales and Market Shares: ...
International audience -
Algorithmic-level specification and Characterization of Embedded Multimedia A...
Designing embedded system is a non-trivial task during which wrong choices can lead to extremely costly re-design loops. The extra cost is even higher when wrong... -
Adding Technological Solutions for Safety Improvement at Level Crossings: a F...
The work discussed in the present paper is part of the PANsafer project, whose purpose is to improve safety at level crossings. This project integrates several... -
Methodology for assessing consistency between multiple representations for sp...
Nowadays most databases are run independently. An independence that leads to a series of<br />problems: repeated efforts of maintenance and updating, difficulty... -
CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free...
Boolean Equation Systems (BESs) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence checking... -
Modélisation et analyse de systèmes asynchrones avec CADP
La conception des systèmes industriels critiques comportant du parallélisme asynchrone nécessite l'utilisation de méthodes formelles, assistées par des outils de...
