Compositional Verification of Concurrent and Real-Time Systems

Authors:
Eric Y. Juan;Jeffrey J. Tsai
Affiliations:
-;-
Venue:
Compositional Verification of Concurrent and Real-Time Systems
Year:
2002

Citing 0
Cited 2

A comparative study of formal verification techniques for software architecture specifications

Annals of Software Engineering
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:Compositional Verification of Concurrent and Real-Time Systems is an excellent resource for students and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or industrial significance. The application areas include concurrent systems, distributed systems, embedded systems, and real-time systems. The analysis models used are Multiset Labeled Transition Systems and Time Petri Nets.