research data . Dataset . 2016

SMT-based verification of parameterized systems

Gurfinkel, Arie; Shoham, Sharon; Meshman, Yuri;
  • Published: 01 Jan 1970
  • Publisher: Association for Computing Machinery (ACM)