Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

Tytuł: Temporal logic as a tool for program correctness analysis

Autor:

Klimek, Radosław

Data wydania:

1992

Typ zasobu:

artykuł

Współtwórca:

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

Tytuł publikacji grupowej:

AMCS, volume 2 (1992)

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

Identyfikator zasobu:

oai:zbc.uz.zgora.pl:57256

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

Temat i słowa kluczowe:

sterowanie sterowanie-teoria sztuczna inteligencja matematyka stosowana informatyka

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2024-11-05

Data dodania obiektu:

2020-07-06

Liczba wyświetleń treści obiektu:

55

Wszystkie dostępne wersje tego obiektu:

https://zbc.uz.zgora.pl/repozytorium/publication/63787

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Temporal logic as a tool for program correctness analysis 2024-11-05

Obiekty

Podobne
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

Towards similarities of interpretations of temporal logic formulae

Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

1997
artykuł
AMCS, Volume 15 (2005)
AMCS, Volume 15 (2005)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 15, number 4 (2005) - spis treści

Beliczyński, Bartłomiej - red.

2005
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

The diameter of the reachability set for a 2-D continuous-discrete linear system with disturbances

Krasoń, Ewa Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

On 2-D polynomials and discrete-continuous systems

Trzaska, Zdzisław W. Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

nD control systems in a practical sense

Xu, Li Saito, Osami Abe, Kenichi Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

A polar coordinate based sliding mode design for vibration control

Young, K. David Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

Sliding mode control with directly learned feedforward compensation

Xu, Jian-Xin Song, Yanbin Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

The use of sliding modes to simplify the backstepping control method

Stotsky, Alexander A. Hedrick, J. Karl Yip, P.P. Yu, Xinghuo - red.

1998
artykuł
Więcej

Dane kontaktowe

Adres

Biblioteka Uniwersytetu Zielonogórskiego
al. Wojska Polskiego 71
65-762 Zielona Góra

Telefon

(+48) 68 328 21 55

E-Mail

repozytorium@uz.zgora.pl

Odwiedź nas!

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji