Login / Signup
VeriAbs: Verification by Abstraction (Competition Contribution).
Bharti Chimdyalwar
Priyanka Darke
Avriti Chauhan
Punit Shah
Shrawan Kumar
R. Venkatesh
Published in:
TACAS (2) (2017)
Keyphrases
</>
model checking
bounded model checking
hardware designs
international competition
signature verification
formal verification
data abstraction
databases
decision trees
formal methods
computer vision
high level
data structure
information technology
asynchronous circuits