Exploring and categorizing error spaces using BMC and SMT

Clark Barrett
SMT(2011)

Abstract

Research Areas