This page contains a chronological list of journal and conference papers as well as other documents that are related to the KeY project.
INDEX: Most Important 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Older Publications
Verification of Object-Oriented Software: The KeY Approach Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (Eds.) 15 chapters and 2 appendices, xxix + 658 pages ISBN: 3-540-68977-X Springer-Verlag, LNCS 4334 - BibTeX - Book Website |
arrayCopyNonAtomic
, arrayFillNonAtomic
)
in Java Card Dynamic Logic. The paper also contains a brief high level
description of how the Java Card transaction mechanism is treated in
KeY.