On November 25 and 26, 2014, a seminar on Software Verification was held at the IU’s Software Engineering Lab. IU’s undergraduate students, PhD students and researchers of the Lab, including the Head of the Lab Prof. Bertand Meyer took part in the seminar.
The participants discussed Lab’s research areas, such as alias calculus and automatic deadlock detection. The SE lab research will focus on building a development environment allowing programmers to verify their software as they go. The base technology is Eiffel, EiffelStudio and the EVE environment.
