VI.10 Summary

Summary [Slide 263]

• A Tempura program is an executable first order ITL formula
• A Tempura program consists of locations, expressions and statements
• The Tempura interpreter constructs a satisfying interval for a Tempura program