1 unstable release
| 0.1.0 | Sep 16, 2024 |
|---|
#16 in #model-checking
2KB
Incremental Model Checking Toolkit
Currently IMCTK does not offer a public API. This crate is a placeholder and will be updated to contain the main entry point of IMCTK's public API.
Placeholder for the Incremental Model Checking Toolkit currently under development
| 0.1.0 | Sep 16, 2024 |
|---|
#16 in #model-checking
2KB
Incremental Model Checking Toolkit
Currently IMCTK does not offer a public API. This crate is a placeholder and will be updated to contain the main entry point of IMCTK's public API.