2004
2003–2005
We have contributed to nine alpha releases of ESC/Java2 throughout 2003 and 2004. We hope to see the first beta release in early 2005. See our ESC/Java2 page for more information.
- Overview
- Mechanized Theory
- News
- Project Proposals
- Published Papers
- Reports
-
Talks
- December 2011 - Validating Semantics
- Throughout 2011 - Democracy as a Critical System
- April 2011 - Reasoning about Concurrency in (RT) Java
- November 2010 - Student Group Work
- 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
- White Papers
Copyright © 1993–2005 KindSoftware. :: Page Last Updated: Monday, 02-Jan-2012 16:00:17 CET
Site Design and Photos by CAW ::
XHTML, CSS.