# KeY

> formal verification tool

**Wikidata**: [Q6382043](https://www.wikidata.org/wiki/Q6382043)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/KeY)  
**Source**: https://4ort.xyz/entity/key-q6382043


## References

1. [Source](https://keyproject.github.io/key-docs/user/JMLGrammar/)