CommonJSJVMNative
karat
DSL for specifying systems via linear temporal logic. Enables model checking against implementations with Kotest or Scalacheck integration and property verification using Alloy integration.
Package | Supported platforms & targets | |
---|---|---|
com.xebia.karat:karat-common:0.1.3 | Common, JVM, Native, JS / (3 targets) | Details |
com.xebia.karat:karat-kotest:0.1.3 | Common, JVM, Native, JS / (3 targets) | Details |
com.xebia.karat:karat-kotest-ktor:0.1.3 | Common, JVM, Native / (3 targets) | Details |
com.xebia.karat:karat-turbine:0.1.3 | Common, JVM, Native, JS / (3 targets) | Details |
com.47deg.karat:karat-common:0.1.3-alpha.1 | Common, JVM, Native, JS / (3 targets) | Details |
com.47deg.karat:karat-kotest:0.1.3-alpha.1 | Common, JVM, Native, JS / (3 targets) | Details |
com.47deg.karat:karat-kotest-ktor:0.1.3-alpha.1 | Common, JVM, Native / (3 targets) | Details |
com.47deg.karat:karat-turbine:0.1.3-alpha.1 | Common, JVM, Native, JS / (3 targets) | Details |
Metadata
Latest release
12 months ago
0.1.3
- 29 stars
- Created 1 year ago
- Latest activity: 12 months ago
Links
Updated 10 hours ago