Ingo Schreiber

  • Citations Per Year
Learn More
Zusammenfassung Dieser Beitrag beschreibt den Nachweis von KontrollflußEigenschaften von Algorithmen, wie z. B. Terminierung, mittels Modellprüfung temporaler Logik. Der Algorithmus wird dabei durch einen endlichen abstrakten Automaten modelliert, dessen Zustände beschreiben, an welcher Stelle sich der Kontrollfluß momentan im Algorithmus befindet. Das(More)
  • 1