Task VC[3]: Symbolic Evaluation by Simulation

In this task we develop an interactive, shell-like environment where situations can be defined declaratively and processes can be executed on such situations, by translating processes and data into a domain-specific language embedded into Haskell. This is only possible for process and data representations that are sufficiently 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)).

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:44:55