Jarl Høyem

Learn More
We report on how implementing a Model Based Automotive SW Engineering Process in an industrial setting can ensure the correct-ness of automotive applications when a process based on formal models is used. We show how formal methods, in particular model checking, can be used to ensure consistency of the models and can prove that the models satisfy selected(More)
  • 1