Prototype C

Summary
D3.2 (responsible: MPII, delivery date: M24): The prototype integrating Redlog with veriT.