Autor:

Szmuc, Tomasz Bartłomiej (1948- ) ; Szwed, Piotr

Współtwórca:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Tytuł:

Towards automatic correctness verification of real-time programs

Tytuł publikacji grupowej:

AMCS, volume 4 (1994)

Temat i słowa kluczowe:

sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka

Abstract:

An algebraic approach to correctness verification of graphical software specifications is presented. LACATRE graphical language based on multitasking and providing real-time functions is considered as a specification tool. The verification process is distributed into four stages. The two initial ones are related to a translation of LACATRE specification into lower description level (Communicating Real-Time State Machines). ; The third stage deals with a generation of the process in the form of a graph of states and automatic relative correctness verification. The fourth stage is related to correctness verification for user-defined criteria. The proposed verification method examines the relative correctness concept introduced in former papers.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

1994

Typ zasobu:

artykuł

Strony:

643-660

Źródło:

AMCS, volume 4, number 4 (1994) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego