Module net.automatalib.modelchecker.m3c

This module contains the implementation of the model checker presented in the paper M3C: Modal Meta Model Checking by Bernhard Steffen and Alnis Murtovi. The paper is based on Model Checking for Context-Free Processes by Olaf Burkart and Bernhard Steffen.

Note that this implementation requires a runtime dependency to a specific ADDLib backend (see https://add-lib.scce.info/), which is not explicitly included in this artifact due to packaging reasons.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>net.automatalib</groupId>
   <artifactId>automata-modelchecking-m3c</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
net.automatalib.modelchecker.m3c.formula	All Modules	All Modules
net.automatalib.modelchecker.m3c.formula.ctl	All Modules	All Modules
net.automatalib.modelchecker.m3c.formula.modalmu	All Modules	All Modules
net.automatalib.modelchecker.m3c.formula.parser	All Modules	All Modules
net.automatalib.modelchecker.m3c.formula.visitor	All Modules	All Modules
net.automatalib.modelchecker.m3c.solver	All Modules	All Modules
net.automatalib.modelchecker.m3c.transformer	All Modules	All Modules
net.automatalib.modelchecker.m3c.visualization	All Modules	All Modules