Task VC: Symbolic Evaluation by Simulation
In this task we develop an interactive, shell-like environment where situations can be deﬁned declaratively and processes can be executed on such situations, by translating processes and data into a domain-speciﬁc language embedded into Haskell. This is only possible for process and data representations that are sufﬁciently procedural. In order to follow the symbolic execution at higher process levels, we will implement an abstraction component which uses the abstraction relations developed in work package RA to compute the status of higher processes from the status of the lower level processes implementing these. This component will also be used for monitoring actual process executions in real environments (see task CS(3)).