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.

Kodee spinning
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

Updated 10 hours ago