A Graphical Interval Logic Toolset for Verifying Concurrent Systems

Authors:
G. Kutty;Y. S. Ramakrishna;Louise E. Moser;Laura K. Dillon;P. M. Melliar-Smith
Affiliations:
-;-;-;-;-
Venue:
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Year:
1993

A graphical interval logic for specifying concurrent systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Oracles for checking temporal properties of concurrent systems

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
The design and analysis of real-time systems using the ASTRAL software development environment

Annals of Software Engineering
VIP: A Visual Editor and Compiler for v-Promela

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Formally Specifying and Verifying Real-Time Systems

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Timed Property Sequence Chart

Journal of Systems and Software

Hi-index	0.00