Description: Design and implement your programming language and software analysis tools with mathematical rigor.
rv (1937) verification (356) runtime (26)
In this repository we provide a model of IELE in K.
See INSTALL.md .
Calling kiele help and kiele version will output the user guide and the KIELE version, respectively.