Generality in design and compositional verification using Tav

Authors:
Anders Børjesson;Kim G. Larsen;Arne Skou
Affiliations:
-;-;-
Venue:
Formal Methods in System Design
Year:
1995

Citing 0
Cited 3

Dynamic Scheduling and Fault-Tolerance: Specification andVerification

Real-Time Systems
Modal process rewrite systems

ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract