Now showing items 1-1 of 1

    • Fehlersuche in Formalen Spezifikationen 

      Arbeitspapier
      Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas
      Hier wird eine Methode vorgestellt, die Gegenbeispiele auch für nicht zustandsendliche Systeme erzeugt und damit auch in interaktiven Beweisern eingesetzt werden kann.