ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

@inproceedings{David2010ECDARAE,
  title={ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems},
  author={Alexandre David and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski},
  booktitle={ATVA},
  year={2010}
}
We present Ecdar a new tool for compositional design and verification of real time systems. In Ecdar, a component interface describes both the behaviour of the component and the component’s assumptions about the environment. The tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quotient, consistency/satisfaction checking, and refinement. The operators can be used to combine basic models into larger specifications to construct… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 37 extracted citations

56 Citations

051015'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…