KindSoftware
  • about us
  • software
  • documents
  • research
  • visitors
  • cdes
  • blog
Documents
  • Overview
  • White Papers
    • KindSoftware Coding Standards
    • Exercises from "Algebraic Semantics of Imperative Programs" Solutions
  • Published Papers
  • Mechanized Theory
    • Formalizing Feature Models
  • Talks
    • May 2008 - Tool Integration
    • May 2008 - Secret Ninja Formal Methods
    • May 2008 - Verified Gaming
    • May 2008 - The Mobius Program Verification Environment
    • April 2008 - A Bit of Rigor
    • 2007 - Practical Verification of Java
    • 2007 - KeY Symposium
    • September 2007 - SAVCBS
    • September 2007 - SPLC
    • August 2007 - EVT
    • November 2006 - TGC
    • June 2006 - Odysseus
    • November 2005 - FMCO
    • July 2005 - FM GC6
    • June 2005 - KSU
    • December 2004 - AIST
    • August 2002 - LAJUG
  • Tutorials
    • ECOOP 2004
    • ETAPS 2005
    • FM 2005
    • ECOOP 2005
    • ESEC/FSE 2005
    • FMCO 2005
    • ETAPS 2008
    • TOOLS 2008
    • GLOBAN 2008
    • ETAPS 2009
    • COST 2009
  • Project Proposals
    • Programing and Specification Languages
    • IDEs
    • Theory
    • Operating Systems and Compilers
    • Theorem Provers
    • Verification
    • Case Studies
  • News
    • 2010
    • 2009
    • 2008
    • 2007
    • 2006
    • 2005
    • 2004
    • 2003

Practical Verification of Java

Joe Kiniry gave talks on KOA and Practical Verification of Java in Newcastle.

Copyright © 1993–2008 KindSoftware. :: Page Last Updated: Monday, 23-Aug-2010 12:36:13 IST
Site Design and Photos by CAW :: www.kindsoftware.com://validator.w3.org/check/referer">XHTML, CSS.