SMT-Solving

 

Projektseminar im Sommersemester 2019

 

Eintrag für diese Veranstaltung im HIS/LSF

 

---

Inhalt

 

Das SMT-Problem ist eine Erweiterung des SAT-Problems (Erfüllbarkeit boolescher Formeln), bei der anstelle boolescher Variablen Formeln aus weiteren Theorien wie bespielsweise der Ganzzahlarithmetik untersucht werden. Ziel dieses Projektseminars ist die Implementierung eines SMT-Solvers, der diverse Theorien unterstützt.