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