Explore projects
-
alim / SLIM
BSD 3-Clause "New" or "Revised" LicenseSLIM is an LMNtal runtime written in C language, a model checker based on LMNtal.
Updated -
-
Updated
-
SLIM is an LMNtal runtime written in C language, a model checker based on LMNtal.