Temporal verification diagrams

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 726-765
https://doi.org/10.1007/3-540-57887-0_123

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Models for reactivity
Acta Informatica, 1993
Completing the temporal picture
Theoretical Computer Science, 1991
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems, 1989
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987
A model and temporal proof system for networks of processes
Published by Association for Computing Machinery (ACM) ,1985
Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming, 1984
Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications, 1983
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems, 1982