Component-Interaction Automata Approach (CoIn)
暂无分享,去创建一个
[1] Pavlína Vareková,et al. Component Substitutability via Equivalencies of Component-Interaction Automata , 2007, Electron. Notes Theor. Comput. Sci..
[2] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[3] Ivana Černá,et al. Component-Interaction Automata Modelling Language , 2006 .
[4] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[5] Ivana Černá,et al. Component-interaction automata as a verification-oriented component-based system specification , 2006 .
[6] Pavlína Vareková,et al. Effective verification of systems with a dynamic number of components , 2007, SAVCBS '07.
[7] Lubos Brim,et al. DiVinE - A Tool for Distributed Verification , 2006, CAV.