Application of modal logics to the specification and verification of programs (Q2759366)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Application of modal logics to the specification and verification of programs |
scientific article; zbMATH DE number 1681778
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Application of modal logics to the specification and verification of programs |
scientific article; zbMATH DE number 1681778 |
Statements
12 December 2001
0 references
modal logics
0 references
program
0 references
temporal logics
0 references
semantic tables
0 references
algorithms
0 references
Application of modal logics to the specification and verification of programs (English)
0 references
Results of using the methods and algorithms of temporal logics for program verification are presented. The method of temporal semantic tables for investigation of the properties of dynamic processes is presented. The aim of investigations is to transfer the sequential calculation strategies to the regions of the output strategies in the modal logics, particularly, in the temporal logics.
0 references
