CoIn Homepage http://paradise.fi.muni.cz/coin/ DiVinE Homepage http://divine.fi.muni.cz/ 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
Brno
http://is.muni.cz/th/172831/fi_m/thesis-oneside.pdf
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