scientific article; zbMATH DE number 148938
From MaRDI portal
Publication:4031327
zbMATH Open0791.68108MaRDI QIDQ4031327FDOQ4031327
Authors: Radosław Klimek 
Publication date: 1 April 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3985193
- Application of temporal logic to program specification
- scientific article; zbMATH DE number 3898203
- scientific article; zbMATH DE number 2090286
- Temporal property verification as a program analysis task
- Specification and verification using temporal logics
- scientific article; zbMATH DE number 947806
- Temporal logic specification mining of programs
- Implementing Temporal Logics: Tools for Execution and Proof
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cited In (8)
- Proving correctness of compiler optimizations by temporal logic
- Code analysis for temporal predictability
- Verification of temporal properties of nondeterministic algorithms
- Verifying temporal properties without temporal logic
- Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
- Title not available (Why is that?)
- Proving correctness of timed concurrent constraint programs
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4031327)
