GitHub repository: nimble-code/Modex
Primary language: C
Created: 2018-12-21T00:16:28Z
Description: a model extractor, to automatically extract Spin verification models from multi-threaded C code