Effective verification of systems with a dynamic number of components

ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007

Volumn , Issue , 2007, Pages 3-13

  Vařeková, Pavlína ^a   Moravec, Pavel ^a   Černá, Ivana ^a   Zimmerova, Barbora ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Component based systems; Dynamic number of components; Finite state systems; Formal verification; Software verification

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER SOFTWARE; FINITE AUTOMATA;

DYNAMIC COMPONENTS; FORMAL VERIFICATION; SOFTWARE VERIFICATION;

DYNAMICAL SYSTEMS;

EID: 38849122593     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1292316.1292317     Document Type: Conference Paper

References (12)

1. J. Adámek. Addressing Unbounded Parallelism in Verification of Software Components. In SNPD, pages 49-56, 2006.
2. T. Ball and S. K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. Lecture Notes in Computer Science, 2057:103+, 2001.
3. J. Barnat, L. Brim, I. Černá, P. Moravec, P. Ročkai, and P. Šimeček. Divine - A Tool for Distributed Verification. In Proc. of the 18th International Conference CAV'06, volume 4144 of LNCS, pages 278-281. Springer, 2006.
4. T. Barros, L. Henrio, and E. Madelaine. Behavioural models for hierarchical components. In Proceedings of the SPIN 2005 Workshop, pages 154-180, San Francisco, USA, August 2005. LNCS Springer-Verlag.
5. L. Brim, I. Černá, P. Vařeková, and B. Zimmerova. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS'05, pages 31-38, Lisbon, Portugal, September 2005.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, USA, January 2000.
7. J. Corbett, M. Dwyer, and J. Hatcliff. Expressing checkable properties of dynamic systems: The Bandera Specification language, 2000.
8. F. Plasil and S. Visnovsky. Behavior protocols for software components. IEEE Transactions on Software Engineering, 28(11):1056-1076, November 2002.
9. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science, pages 46-57. IEEE Computer Society Press, 1977.
10. A. Rensink, Á. Schmidt, and D. Varró. Model Checking Graph Transformations: A Comparison of Two Approaches. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, International Conference on Graph Transformations (ICGT), volume 3256 of Lecture Notes in Computer Science, pages 226-241. Springer-Verlag, 2004.
11. I. Černá, P. Vařeková, and B. Zimmerova. Component-Interaction Automata Modelling Language. Technical Report FIMU-RS-2006-08, Masaryk University, Faculty of Informatics, Brno, Czech Republic, October 2006.
12. B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim, and J. Sochor. The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (Coin). To appear in LNCS, 2007.