Third Spec-a-thon Schedule

The first two days of the Spec-a-thon will feature short courses and group work focusing on verification competition challenge problems, while the remaining days will feature short talks by participants and group work focusing on the specification of JDK 1.7 API classes. Additional schedule details (time slots, etc.) will be determined soon.

Days 1/2 (1-2 November), 09:00-18:00

• Short courses on analysis, design, architecture, validation, and verification with JML for JML "newcomers."
• Small group work focusing on the specification and validation & verification of the VSTTE 2010 verification competition and Leino and Moskal's VACID-0 challenge problems.

Days 3/4/5 (3-5 November), 09:00-18:00

• Short talks by participants updating the community about ongoing work on JML-related tools and research results.
• Small group work focusing on the specification of JDK 1.7 API classes using OpenJML, JMLEclipse, JMLUnitNG, and Java Contracts. A paper describing this process has been submitted to TACAS and will be shared with participants. An MSc thesis focusing on this topic is also available.