ImSpin is an advanced and modernized version of the classic iSpin frontend, leveraging the power and flexibility of ImGui to provide a superior user experience. Designed as the frontend for the SPIN model checker, ImSpin aims to offer an intuitive, efficient, and visually appealing interface for model checking enthusiasts and professionals.
-
Updated
Jun 11, 2024 - C++