Alexander Grünhage

Learn More
—The verification of embedded software has become an important subject over the last years. However, neither stand-alone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid/semiformal verification approaches are able to verify large and complex embedded software with hardware dependencies. This work presents an(More)
  • 1