The IntelliJ IDEA plugin automates the analysis of the correctness of Kotlin programs using the model checking method.
Dependencies:
- Kotlin compiler (https://kotlinlang.org/docs/command-line.html)
- nuXmv model checker (https://nuxmv.fbk.eu/download.html)