Bogor: An Extensible and Highly-Modular Software Model Checking Framework

by Robby , Matthew B. Dwyer , John Hatcliff
Citations:63 - 0 self