JMC Model Checker API

Packages

Package	Description
org.mpi_sws.jmc.annotations	Defines annotations used by users of the JMC library.
org.mpi_sws.jmc.annotations.strategies	Defines annotations for specific strategies used in the JMC library.
org.mpi_sws.jmc.api.util	Provides Redefinitions of java.utl classes with plugs to support JMC model checking.
org.mpi_sws.jmc.api.util.concurrent	Redefinitions of classes in the java.util.concurrent package.
org.mpi_sws.jmc.api.util.statements	Defines additional statements of the JMC API to be used in JMC tests.
org.mpi_sws.jmc.checker	Defines core classes of the JMC checker framework.
org.mpi_sws.jmc.checker.exceptions	Defines exceptions used in the JMC Checker module.
org.mpi_sws.jmc.integrations.junit5.descriptors	Defines JUnit 5 descriptors for JMC tests.
org.mpi_sws.jmc.integrations.junit5.engine	Defines a custom JUnit 5 engine for running JMC tests.
org.mpi_sws.jmc.runtime	This package contains the core runtime components of the JMC framework.
org.mpi_sws.jmc.runtime.scheduling	Defines the classes and interfaces for scheduling in the JMC runtime.
org.mpi_sws.jmc.strategies	Defines the strategies used by JMC to check and validate code.
org.mpi_sws.jmc.strategies.trust	Defines the strategy for complete exhaustive model checking of the input program.
org.mpi_sws.jmc.util	Utility classes for the JMC project.