.
FRDCSA | external codebases | ltsmin-2.1
Homepage

[Project image]
ltsmin-2.1

Jump to: Project Description

Project Description

LTSmin started out as a generic toolset for manipulating labelled transition systems. Meanwhile the toolset was extended to a a full (LTL/CTL) model checker, while maintaining its language-independent characteristics.


This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:36 EDT 2019 .