Wiz - the visual While* interpreter
vars: int x; code: x:=0; post: (x=0)
Max. Steps (<= 500)
Input Values
Run
Debug
Types
Check
Store
While*
is developed by
AQUA group
at TU Dortmund University
[Imprint]