Verification of Hardware and Software with Fuzzing and Proofs.

Sujit Kumar Muduli

Published in: SPLASH Companion (2022)

Keyphrases

hardware and software
low cost
computer systems
formal proof
model checking
hardware software
formal methods
hardware software co design
query processing
parallel algorithm
theorem prover
theorem proving
information systems
image processing