We present a case study of formal verification of control logic for a robotic handling system. We have implemented a system in which properties can be specified in the source code, which is then automatically converted to Java and checked using Java Path Finder. The model checker, working under the assumption of a nondeterministic environment, is able to efficiently verify critical properties of the design. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Griesmayer, A., Bloem, R., Hautzendorfer, M., & Wotawa, F. (2005). Formal verification of control software: A case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3533 LNAI, pp. 783–788). Springer Verlag. https://doi.org/10.1007/11504894_108
Mendeley helps you to discover research relevant for your work.