Wiz - the visual While* interpreter
vars: int x; code: x:=0; post: (x=0)
Max. Steps (<= 500)
Input Values
Execution & Runtime
▼
Run
Debug
Proof Systems
▼
Type Check
Hoare (WPC)
Dataflow Analyses
▼
Reaching Defs.
Liveness
Reach
Taint
Store
While*
is developed by
AQUA group
at TU Dortmund University
[Imprint]