GitHub topics: specif
codespecs/daikon
Dynamic detection of likely invariants
Language: C - Size: 873 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 223 - Forks: 56
oalt/MDD4All.SpecIF.Microservice
SpecIF-Backend implementation in .NET
Language: C# - Size: 1.86 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 2
oalt/specif-mongodb-backend
SpecIF WebAPI backend with MongoDB relized with Docker Compose.
Language: Batchfile - Size: 220 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0