Autor:

Klimek, Radosław

Współtwórca:

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

Tytuł:

Temporal logic as a tool for program correctness analysis

Tytuł publikacji grupowej:

AMCS, volume 2 (1992)

Temat i słowa kluczowe:

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

Abstract:

The paper deals with temporal logic and analysis of correctness properties of programs. A classification of program properties is presented. Verification by temporal logic is shown on the examples of synchronization in the producer-consumer problem and a sample parallel system of robots. The analysis of the system concerns three types of safety property.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

1992

Typ zasobu:

artykuł

Strony:

217-235

Źródło:

AMCS, volume 2, number 2 (1992) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego