Package de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl

Class Summary

Class	Description
InternalStateSpace
ProgramImpl	Abstraction of a program that is symbolically executed to generate a state space.
ProgramImpl.ProgramBuilder