Ensuring Reachability by Design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Ensuring Reachability by Design


This paper studies the independent implementability of reachability properties, which are in general not compositional. We consider modal specifications, which are widely acknowledged as suitable for abstracting implementation details of components while exposing to the environment relevant information about cross-component interactions. In order to obtain the required expressivity, we extend them with marked states to model states to be reached. We then develop an algebra with both logical and structural composition operators ensuring reachability properties by construction.


Other [cs.OH]
No file

Dates and versions

hal-00766735 , version 1 (18-12-2012)


  • HAL Id : hal-00766735 , version 1


Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design. 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227. ⟨hal-00766735⟩
184 View
0 Download


Gmail Facebook X LinkedIn More