Contract-based verification of hierarchical systems of components

Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008

Volumn , Issue , 2008, Pages 377-381

  Quinton, Sophie ^a   Graf, Susanne ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 58049179643     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2008.28     Document Type: Conference Paper

References (12)

1. Maude website. http://maude.cs.uiuc.edu/.
2. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in bip. In SEFM, pages 3-12, 2006.
3. A. Benveniste, B. Caillaud, and R. Passerone. A generic model of contracts for embedded systems. CoRR, abs/0706.1456, 2007.
4. S. Bliudze and J. Sifakis. The algebra of connectors: structuring interaction in bip. In EMSOFT, pages 11-20, 2007.
5. L. de Alfaro and T. A. Henzinger. Interface automata. In ESEC / SIGSOFT FSE, pages 109-120, 2001.
6. W. P. de Roever, F. S. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Methods, volume 54 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
7. G. Gößler and J. Sifakis. Composition for component-based modeling. Sci. Comput. Program., 55(1-3):161-183, 2005.
8. K. G. Larsen. Modal specifications. In Automatic Verification Methods for Finite State Systems, pages 232-246, 1989.
9. K. G. Larsen, U. Nyman, and A. Wasowski. Interface input/ output automata. In FM, pages 82-97, 2006.
10. K. G. Larsen, U. Nyman, and A. Wasowski. Modal I/O automata for interface and product line theories. In ESOP, pages 64-79, 2007.
11. S. Quinton and S. Graf. Contract-based verification of hierarchical systems of components. Technical report, Verimag, 2008.
12. J.-B. Raclet. Residual for component specifications. Technical Report 6196, INRIA, May 2007.