Login / Signup
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).
Levente Bajczi
Dániel Szekeres
Milán Mondok
Zsófia Ádám
Márk Somorjai
Csanád Telbisz
Mihály Dobos-Kovács
Vince Molnár
Published in:
TACAS (3) (2024)
Keyphrases
</>
hardware designs
bounded model checking
high level
model checking
formal verification
face verification
refinement process
verification method
neural network
query refinement
fingerprint verification
concurrent systems
international competition