| Package | Description |
|---|---|
| de.rwth.i2.attestor.phases.symbolicExecution.stateSpaceGenerationImpl |
| Class and Description |
|---|
| ProgramImpl
Abstraction of a program that is symbolically executed to generate a state space.
|
| ProgramImpl.ProgramBuilder |
Copyright © 2018. All rights reserved.