Go backward to Refinement Mappings
Go up to Top
Go forward to References
Summary
- TLA formulas describe algorithms:
- Effects of all statements.
- Control flow.
- Liveness properties.
- Advantages:
- Independent of language.
- All information is explicitly specified in mathematical formulas.
- Problems:
- TLA formulas may get very large.
- Good structure and abstractions required to manage complexity.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: tla2.tex,v 1.2 96/05/06 10:48:53 schreine Exp Locker: schreine