|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use de.upb.swt.mcie.mc | |
---|---|
de.upb.swt.mcie.formulas | This package implements formulas, which can be state formulas, transition formulas or temporal formulas. |
de.upb.swt.mcie.mc | This package implements models with the corresponding model checking procedures, and the main method for invoking the model checker. |
de.upb.swt.mcie.parser | This package implements a parser and compiler for formulas and models. |
Classes in de.upb.swt.mcie.mc used by de.upb.swt.mcie.formulas | |
---|---|
Model
Abstract class for a model on which model checking should be performed. |
Classes in de.upb.swt.mcie.mc used by de.upb.swt.mcie.mc | |
---|---|
Model
Abstract class for a model on which model checking should be performed. |
Classes in de.upb.swt.mcie.mc used by de.upb.swt.mcie.parser | |
---|---|
FairModel
Implements a fair model based on some other model. |
|
Kripkestructure
Implements a Kripke structure. |
|
Transitionsystem
Implements a transition system. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |