Luz Amanda Garcia

Learn More
Porto, the institutional repository of the Politecnico di Torino, is provided by the University Library and the IT-Services. The aim is to enable open access to all the world. Please share with us how this access benefits you. Your story matters. Abstract—Interpolant-based model checking has been shown to be effective on large verification instances, as it(More)
  • 1