TU Wien Nav:Formal Methods in Systems Engineering

↑ Logic and Computation

Forschungsbereich

ID	E192/4
Abkürzung	FORSYTE
Links	Homepage, TISS

LVAs

• Automated Deduction VU (Laura Kovács)
• Computer Aided Verification UE (Weissenbacher)
• Computer Aided Verification VU (Weissenbacher)
• Programmanalyse VU (Zuleger)
• Semantik von Programmiersprachen VU (Zuleger)

Ehemalige LVAs