M. A. Haberler

Learn More
TLS-1 is a language for specifying sequences of tasking events occurring in the execution of concurrent Ada programs. Such specifications are intended primarily for testing and debugging of Ada tasking programs. They can also be applied in the design of programs. TSL-1 specifications are included in Ada programs as formal comments. They express constraints(More)
  • 1