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