research data . Dataset . 2012

HSF(C): A Software Verifier Based on Horn Clauses

Grebenshchikov, Sergey; Gupta, Ashutosh; Lopes, Nuno P.; Popeea, Corneliu; Rybalchenko, Andrey;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg