IEEE - Institute of Electrical and Electronics Engineers, Inc. - VERDICT-a tool for model-based verification of real-time logic process controllers

Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems

Author(s): Kowalewski, S. ; Treseler, H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Geneva, Switzerland, Switzerland
Conference Date: 3 April 1997
Page(s): 217 - 221
ISBN (Paper): 0-8186-8096-2
DOI: 10.1109/WPDRTS.1997.637982
Regular:

This paper provides an overview of a project in which a practically applicable tool for the algorithmic formal verification of logic controllers (including timers) for processes with at least... View More

Advertisement