Seite 1 von 1

Seminar: Decision Procedures

Verfasst: 7. Okt 2014 16:05
von bubel
Hallo,

am Fachgebiet Software Engineering bieten wir dieses Semester das Seminar "Decision Procedures" an, in dem wir auf Techniken eingehen, die es helfen Probleme zu lösen in denen Theorien wie lineare und nicht-lineare Arithmetik, Bitvektoren usw. vorkommen.

Weitere Informationen unter:
https://www.se.tu-darmstadt.de/teaching ... rocedures/

Viele Grüße,
Richard