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

Loading