Login / Signup

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).

Zsófia ÁdámGyula SallaiÁkos Hajdu
Published in: TACAS (2) (2021)
Keyphrases
  • worst case
  • information systems
  • artificial intelligence
  • bayesian networks
  • expert systems
  • information technology