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