Poster Presentations
Anya Tafliovich
Quantum Predicative Programming
![](pdf.gif)
Farida Mostefaoui and Julie Vachon
Formalization of an Aspect-Oriented Modeling Approach
![](pdf.gif)
Jeff Dallien, Wendy MacCaull, Allen Tien
Dynamic Workflow Verification for Health Care
![](pdf.gif)
Tool Presentations
Mihaela Gheorghiu, Arie Gurfinkel
A Query Solver for States
![](pdf.gif)
Mihaela Gheorghiu, Arie Gurfinkel
VaqUoT: A Tool for Vacuity Detection
![](pdf.gif)
Cyrille Artho
Testing I/O Failures with Enforcer
![](pdf.gif)
Dai Tri Man Le, Emil Sekerinski, Scott West
Statechart Verification with iState
![](pdf.gif)
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel
VaqTree: Efficient Vacuity Detection for Bounded Model Checking
![](pdf.gif)
Mattias Anlauff, Dusko Pavlovic, Stephen Westfold
The Protocol Derivation Assistant
![](pdf.gif)
Mehrdad Sabetzadeh and Shiva Nejati
TreMer: A Tool for Relationship-Driven Model Merging
![](pdf.gif)
Jonathan Ostroff, Chen-Wei (Jackie Wang, Faraz Ahmadi Torshizi, Eric Kerfoot)
ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code
![](pdf.gif)
Jin Song Dong, Xian Zhang, Jun Sun, Ping Hao
Reasoning about Timed CSP Models
![](pdf.gif)