SolVerTec – Solution Verification Technologies

The spin-off project SolVerTec aims at developing an automatic debugging tool.

For more information see: http://www.solvertec.de


Contact: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey, Dr. Daniel Große, Dr. Andre Sülflow

Detailed description is only available in German.