FRDCSA | external codebases | ltsmin-2.1

[Project image]

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 .