The KeY Symposium brings together researchers interested in KeY and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.
Continue reading “18th KeY Symposium 2019”Tag: Manigod
15th KeY Symposium 2016
The 2016 KeY symposium takes place in its 15th iteration. The KeY System is a formal software development tool integrating design, implementation, formal specification, and formal verification of object-oriented software.
Continue reading “15th KeY Symposium 2016”
Continue reading “15th KeY Symposium 2016”