S. Alan Ezust

  • Citations Per Year
Learn More
This paper describes the development of Tango, an automatic generator of backtracking trace analysis tools for single-process specifications written in the formal description language, Estelle. A tool generated by Tango automatically checks the validity of any execution trace against the given specification, and supports a number of checking options. The(More)
This paper describes the development of Tango, an automatic generator of backtracking trace analysis tools for single-process speciications written in the formal description language , Estelle. A tool generated by Tango automatically checks the validity of any execution trace against the given speciication, and supports a number of checking options. The(More)
  • 1