@misc{Klimek_Radosław_Temporal,
 author={Klimek, Radosław},
 howpublished={online},
 publisher={Zielona Góra: Uniwersytet Zielonogórski},
 language={eng},
 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.},
 type={artykuł},
 title={Temporal logic as a tool for program correctness analysis},
 keywords={sterowanie, sterowanie-teoria, sztuczna inteligencja, matematyka stosowana, informatyka},
}