Login / Signup

VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).

Priyanka DarkeSakshi AgrawalR. Venkatesh
Published in: TACAS (2) (2021)
Keyphrases
  • high level
  • database
  • neural network
  • data mining
  • artificial intelligence
  • data sets
  • search engine
  • decision trees
  • evolutionary algorithm
  • model checking
  • user friendly
  • highly scalable
  • web scale
  • bounded model checking