Construction of deterministic transition graphs from dynamic integrity constraints
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 166-179
- https://doi.org/10.1007/3-540-50728-0_41
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Monitoring dynamic integrity constraints based on temporal logicInformation Systems, 1987
- Temporal Logic of ProgramsPublished by Springer Nature ,1987
- The INFOLOG linear tense propositional logic of events and transactionsInformation Systems, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Temporal logic can be more expressiveInformation and Control, 1983
- Verification of Sequential Programs: Temporal AxiomatizationPublished by Springer Nature ,1982
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- Temporal aspects of logical procedure definitionInformation Systems, 1980