1. CoIn Homepage. Available at
  2. DiVinE Homepage. Available at
  3. L. de Alfaro & T. A. Henzinger (2001): Interface Automata. In: Proceedings of FSE'01. ACM Press, pp. 109–120, doi:10.1145/503209.503226.
  4. J. Barnat, L. Brim & P. Ročkai (2010): Parallel Partial Order Reduction with Topological Sort Proviso. In: Software Engineering and Formal Methods (SEFM 2010). IEEE Computer Society Press, pp. 222–231, doi:10.1109/SEFM.2010.35.
  5. J. Barnat, L. Brim, M. Češka & P. Ročkai (2010): DiVinE: Parallel Distributed Model Checker (Tool paper). In: HiBi/PDMC 2010. IEEE, pp. 4–7.
  6. N. Beneš, L. Brim, I. Černá, J. Sochor, P. Vařeková & B. Zimmerova (2009): Partial Order Reduction for State/Event LTL. In: IFM'09, LNCS 5423. Springer, pp. 307–321, doi:10.1007/978-3-642-00255-7_21.
  7. N. Beneš, I. Černá, J. Sochor, P. Vařeková & B. Zimmerova (2008): A Case Study in Parallel Verification of Component-Based Systems. ENTCS 220(2), doi:10.1016/j.entcs.2008.11.014.
  8. L. Brim, I. Černá, P. Vařeková & B. Zimmerova (2006): Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes 31(2), doi:10.1145/1108768.1123063.
  9. M. Křivánek (2011): Verification Tool for Component Systems. Faculty of Informatics, Masaryk University, Brno. Available at
  10. M. Lumpe, L. Grunske & J. Schneider (2008): State Space Reduction Techniques for Component Interfaces. In: CBSE 2008, LNCS 5282. Springer, pp. 130–145, doi:10.1007/978-3-540-87891-9_9.
  11. N. A. Lynch & M. R. Tuttle (1989): An introduction to input/output automata. CWI Quarterly 2.
  12. B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim & J. Sochor (2008): Component-Interaction Automata Approach (CoIn). In: The Common Component Modeling Example, LNCS 5153. Springer, pp. 146–176, doi:10.1007/978-3-540-85289-6_7.

Comments and questions to:
For website issues: