Группа библиотек: net.bretti.modelcheck

modelcheck

net.bretti.modelcheck : modelcheck

modelcheck is a Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.

Последняя версия: 1.0.0

Дата: 21 сент. 2019 г.