Continued Funding from the DFG
The German Research Foundation (DFG) continues to fund the SWT Team's foundational research into heterogeneous specification formalisms that combine operational and declarative styles of specifications. One research focus is interface theories extending the well-known interface automata of de Alfaro and Henzinger.
We are pleased that Mr. Ngoc Tri Nguyen, M.Sc. who wrote his Master's thesis at the SWT Chair under the supervision of Dr. Eugene Yip, joins the SWT Team until August 2021 on this project, in order to design and implement a domain-specific language for interface theories together with support for symbolic execution and automated verification.