Bandera
Bandera. Bandera: Extracting Finite-state Models from Java Source Code. Paper By: James C. Corbett, Mathew Dwyer, John Hatcliff , Shawn Laubach , Corina Pasareanu , Robby, Zheng. Presented By: Akshay Choche. Outline. Introduction: Why Bandera Model Checking Software and their properties
293 views • 11 slides