Title :
Correctness verification of concurrent controller specifications
Author :
Schaefer, M.T.L. ; Klein, W.U.
Author_Institution :
Siemens AG, Munchen, Germany
Abstract :
An integrated design concept that focuses on the correctness of concurrent controllers is presented. This approach is based on the specification of concurrent tasks with the aid of structured flow charts. A new formal proceeding for the verification of the correct behavior is introduced. Algorithms reduce the verification process to a polynomial amount of computational effort. The method can be applied even for the design of large systems
Keywords :
formal specification; formal verification; program verification; concurrent controller specifications; concurrent tasks specification; correct behaviour verification; correctness verification; integrated design concept; structured flow charts; Communication system control; Control systems; Data processing; Distributed control; Flowcharts; Hardware; Message passing; Petri nets; Power system modeling; Research and development;
Conference_Titel :
Design Automation Conference, 1992., EURO-VHDL '92, EURO-DAC '92. European
Conference_Location :
Hamburg
Print_ISBN :
0-8186-2780-8
DOI :
10.1109/EURDAC.1992.246261
