Title :
Correctness verification of concurrent systems
Author_Institution :
Inst. of Autom. Control, Acad. of Min. & Metall., Krakow, Poland
Abstract :
Formal tools and computer support for correctness verification are proposed. An algebraic process description of the correctness facilitates formal tools aiding correctness proving. Two methods of correctness verification are presented: static verification, corresponding to the verification notion in system programming which is informally described by the software standard; and dynamic correction, which is a generalization of the exception-handling idea. Algorithms for these methods are specified
Keywords :
formal logic; multiprocessing systems; program verification; algebraic process description; computer support; concurrent systems; correctness proving; correctness verification; dynamic correction; exception-handling idea; formal tools; software standard; static verification; system programming; verification notion; Automatic control; Computational modeling; Radio access networks; Software standards; Tellurium; Testing;
Conference_Titel :
System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
Print_ISBN :
0-8186-1912-0
DOI :
10.1109/HICSS.1989.48004
