de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Classes

• InternalContract
• InternalContractCollection
• InternalContractGenerator
• InternalPreconditionMatchingStrategy
• StateSpaceGeneratorFactory