A years long effort comes to a successful conclusion. On December, 20th the new KeY book became available online. Most of the book’s content is new or largely rewritten compared to the first KeY Book.
Posts
KeY talk at the British Computer Society
Prof. Reiner Hähnle will give an invited talk at the British Computer Society at May 4th, 2017: “The KeY Formal Verification Tool“.
Continue reading “KeY talk at the British Computer Society”
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”
Subscribe to our our RSS feed