Oliver Robbe

  • Citations Per Year
Learn More
We report on the formal verification of a triple redundancy sensor voting and monitoring model written in UML using the UML Verification Environment (UVE). The original model as provided by Israel Aircraft Industries, Ltd. (IAI) doesn’t adhere to the UVE modelling guidelines and is large in terms of the number of objects and the amount of concurrency(More)
  • 1