GitHub repository: AiDaiP/Modex
Description: a model extractor, to automatically extract Spin verification models from multi-threaded C code