Modex. a model extractor, to automatically extract Spin verification models from multi-threaded C code

github.com/nimble-code/Modex

Problem

Audience

Updates

No founder updates yet. Check back soon.