Uses of Package
de.rwth.i2.attestor.phases.modelChecking.modelChecker

Packages that use de.rwth.i2.attestor.phases.modelChecking.modelChecker

Package	Description
de.rwth.i2.attestor.phases.modelChecking
de.rwth.i2.attestor.phases.modelChecking.modelChecker	This package implements the model checking tableau method from
de.rwth.i2.attestor.phases.transformers

Classes in de.rwth.i2.attestor.phases.modelChecking.modelChecker used by de.rwth.i2.attestor.phases.modelChecking

Class and Description
ModelCheckingResult
ModelCheckingTrace

Classes in de.rwth.i2.attestor.phases.modelChecking.modelChecker used by de.rwth.i2.attestor.phases.modelChecking.modelChecker

Class and Description
Assertion This class implements the states of the tableau method proof structure.
FailureTrace
ModelCheckingResult
ModelCheckingTrace
ProofStructure The proof structure is generated by the tableau method for model checking (see Another Look at LTL Model Checking, Clarke, Grumberg, Hamaguchi, 1994).
ProofStructureExporter

Classes in de.rwth.i2.attestor.phases.modelChecking.modelChecker used by de.rwth.i2.attestor.phases.transformers

Class and Description
ModelCheckingResult
ModelCheckingTrace