KeY

formal verification tool

en-GB/ˈkiː/
en-US/ˈki/

分类：

programming tool