Formal Analysis

Track: Technical Research
When: May 22, 2013 10:30
Location: Grand Ballroom C
Chair: Robyn Lutz


Detecting Spurious Counterexamples Efficiently in Abstract Model Checking

Cong Tian and Zhenhua Duan
Xidian University, China

Segmented Symbolic Analysis

Wei Le
Rochester Institute of Technology, USA

Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework

John Hatcliff, Robby, Patrice Chalin, and Jason Belt
Kansas State University, USA