On Reachable State Space Reduction for Formal Validation of Scan-based Systems
暂无分享,去创建一个
[1] J. Baumgartner,et al. An overview and application of model reduction techniques in formal verification , 1998, 1998 IEEE International Performance, Computing and Communications Conference. Proceedings (Cat. No.98CH36191).
[2] Valeriy Vyatkin,et al. Modelling and Verification of PLC-Based Systems Programmed with Ladder Diagrams , 2004 .
[3] Valeriy Vyatkin,et al. Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..
[4] Jonathan P. Bowen,et al. Ten Commandments of Formal Methods ...Ten Years Later , 2006, Computer.
[5] José L. Martínez Lastra,et al. An Algorithm for Siemens STL representation in TNCES , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[6] R. W. Lewis,et al. Programming Industrial Control Systems Using IEC 1131-3 , 1995 .
[7] Bernard Harris,et al. Graph theory and its applications , 1970 .
[8] Jonathan P. Bowen,et al. Ten Commandments of Formal Methods , 1995, Computer.
[9] Hassane Alla,et al. Discrete, continuous, and hybrid Petri Nets , 2004 .
[10] Tobias Schüle,et al. Bounded model checking of infinite state systems: exploiting the automata hierarchy , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
[11] H. Wong-Toi,et al. A procedure for reachability analysis of rectangular automata , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[12] H.-M. Hanisch,et al. Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.
[13] C. Petri. Kommunikation mit Automaten , 1962 .
[14] Karsten P. Ulland,et al. Vii. References , 2022 .
[15] A. Lobov,et al. Application of UML in plant modeling for model-based verification: UML translation to TNCES , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..