Counterexample-guided simulation framework for formal verification of flexible automation systems

Sandeep Patil, Valeriy Vyatkin, Cheng Pang. Counterexample-guided simulation framework for formal verification of flexible automation systems. In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015. pages 1192-1197, IEEE, 2015. [doi]

Abstract

Abstract is missing.