Skip to content

GitLab

Explore

Sign in

S

SLIM

Project information

SLIM is an LMNtal runtime written in C language, a model checker based on LMNtal.

0 Commits
1 Branch
11 Tags

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG

Created on

April 01, 2014

Copy SSH clone URLgit@gitlab.ueda.info.waseda.ac.jp:alim/slim.git
Copy HTTPS clone URLhttps://gitlab.ueda.info.waseda.ac.jp/alim/slim.git