The Rhapsody UML Verification Environment


Object-oriented modeling plays an increasing role in the design of embedded controllers. Formal verification can be applied in order to give evidence for meeting safety critical requirements. The "Rhapsody UML Verification Environment" supports verification of safety and liveness requirements for embedded controllers, developed within the Unified Modeling… (More)
DOI: 10.1109/SEFM.2004.44


8 Figures and Tables


Citations per Year

80 Citations

Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.