Dynamic detection of likely invariants
c
java
machine-learning
csharp
eiffel
perl
specifications
machinelearning
specification-by-example
specif
-
Updated
May 22, 2024 - C
Dynamic detection of likely invariants
SpecIF WebAPI backend with MongoDB relized with Docker Compose.
Add a description, image, and links to the specif topic page so that developers can more easily learn about it.
To associate your repository with the specif topic, visit your repo's landing page and select "manage topics."