Login / Signup
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).
Zsófia Ádám
Gyula Sallai
Ákos Hajdu
Published in:
TACAS (2) (2021)
Keyphrases
</>
worst case
information systems
artificial intelligence
bayesian networks
expert systems
information technology