This task describes how to create an example project. This is a normal Java project which is filled with predefined content as starting point for new users of the Symbolic Execution Debugger (SED) with KeY as symbolic execution engine.
The following examples exists:
Execute the following steps to create an example project: