Component-Interaction Automata approach (CoIn)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5153 LNCS, Issue , 2008, Pages 146-176

  Zimmerova, Barbora ^a   Vařeková, Pavlína ^a   Beneš, Nikola ^a   Černá, Ivana ^a   Brim, Luboš ^a   Sochor, Jiří ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FISCHER-TROPSCH SYNTHESIS; FLOW INTERACTIONS; ROBOTS; TEMPORAL LOGIC; TRANSLATION (LANGUAGES);

AUTOMATA APPROACHES; BEHAVIOURAL ASPECTS; EXTENDED VERSIONS; FORMAL ANALYSIS; LARGE-SCALE; LINEAR TEMPORAL LOGICS; MODELLING; PARALLEL MODELS;

MODEL CHECKING;

EID: 54249122224     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85289-6_7     Document Type: Conference Paper

References (8)

1. Černá, I., Vařeková, P., Zimmerova, B.: Component-interaction automata modelling language. Technical Report FIMU-RS-2006-08, Masaryk University, Faculty of Informatics, Brno, Czech Republic (2006)
2. Barnat, J., Brim, L., Černá, I., Moravec, P., Ročkai, P., Š imecek, P.: Divine - a tool for distributed verification. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 278-281. Springer, Heidelberg (2006)
3. Brim, L., Černá, I., Vařeková, P., Zimmerova, B.: Component-Interaction automata as a verification-oriented component-based system specification. In: Proceedings of the ESEC/FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2005), Lisbon, Portugal, September 2005, pp. 31-38. Iowa State University, USA (2005)
4. The CoIn Team: The complete CoIn model of the Trading System (2007), http://anna.fi.muni.cz/coin/cocome/
5. Vařeková, P., Moravec, P., Černá, I., Zimmerova, B.: Effective verification of systems with a dynamic number of components. In: Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS 2007), Dubrovnik, Croatia, September 2007, pp. 3-13. ACM Press, USA (2007)
6. Černá, I., Vařeková, P., Zimmerova, B.: Component substitutability via equivalencies of component-interaction automata. In: Proceedings of the Workshop on Formal Aspects of Component Software (FACS 2006), Prague, Czech Republic. ENTCS, pp. 39-55. Elsevier, Amsterdam (2006)
7. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, USA (2000)
8. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science, pp. 46-57. IEEE Computer Society Press, Los Alamitos (1977)