Category:KeY program verification tool
Jump to navigation
Jump to search
formal verification tool | |||||
Upload media | |||||
Instance of | |||||
---|---|---|---|---|---|
Copyright license | |||||
Has use |
| ||||
Developer | |||||
official website | |||||
| |||||
Media in category "KeY program verification tool"
The following 4 files are in this category, out of 4 total.
-
Dynamic logic proof.png 9,878 × 1,221; 424 KB
-
KeY logo.svg 512 × 303; 2 KB
-
Key-tool.jpg 999 × 726; 150 KB
-
Keylogo.gif 155 × 100; 1 KB