Wiz - the visual While* interpreter
Editor wird geladen…
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