This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Bernhard Beckert
A grouping.
Bernhard Beckert: the KeY system for Java - taclets and the two KeY books a decade apart - plus 'Lessons Learned From Microkernel Verification' on Verisoft XT and Hyper-V.
5 references
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert and others (2013) · Springer
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association
Verification of object-oriented software: The KeY approach
Bernhard Beckert and others (2007) · Springer-Verlag
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert and others (2004) · RACSAM