implementation("com.xebia.karat:karat-common:0.1.3")karat-common offers a domain-specific language for specifying systems using linear temporal logic, enabling model verification and implementation testing.
| Version | Release | Platforms and targets |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |
| Version | Release | Platforms and targets |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |