Login / Signup

HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).

Sergey GrebenshchikovAshutosh GuptaNuno P. LopesCorneliu PopeeaAndrey Rybalchenko
Published in: TACAS (2012)
Keyphrases
  • horn clauses
  • logic programs
  • first order logic
  • inference rules
  • software development
  • conceptual clustering
  • software systems
  • database
  • lattice theory
  • high dimensional
  • user interface
  • computer systems
  • test cases