Program
09:00 Neha Rungta, NASA Ames, Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans
10:00 Break
10:30 Paper session I
- Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, and Hideto Ogawa, POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems
- Radha Nakade and Eric Mercer, Verification of Habanero Java Program using Computation Graphs
- Heila Van Der Merwe, Oksana Tkachuk, Sean Nel, Brink Van Der Merwe and Willem Visser, Environment Modeling Using Runtime Values for JPF-Andriod
12:00 Lunch
13:30 Eric Mercer, Brigham Young University, Tutorial: Habanero Java Verification
15:00 Break
15:30 Paper Session II
- Guowei Yang, Quan Chau Dong Do, and Junye Wen, Distributed Assertion Checking Using Symbolic Execution
- Karl Palmskog, Farah Hariri, and Darko Marinov, A Case Study on Executing Instrumented Code in Java PathFinder
16:30 JPF Open Discussion: what’s next?
17:00 Close
18:30 Workshop Dinner: Blue Orchid Thai, 129 N 10th St, Lincoln, NE 68508