Home » net.automatalib » automata-modelchecking-parent

AutomataLib :: Model Checking

Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.

LicenseApache 2.0
Tagsautomata
Ranking#775523 in MvnRepository (See Top Artifacts)

Version ▼VulnerabilitiesRepositoryUsagesDate
0.12.x
0.12.1Central
0
Mar 11, 2025
0.12.0Central
0
Feb 04, 2025
0.11.x
0.11.0Central
0
Nov 06, 2023
0.10.x
0.10.0Central
0
Oct 11, 2020
0.9.x
0.9.0Central
0
Feb 05, 2020
0.8.x
0.8.0Central
0
Feb 18, 2019