Balancing Automation and Control for Formal Verification of Microprocessors.

Shilpi Goel Anna Slobodová Rob Sumners Sol Swords

Published in: CAV (1) (2021)

Keyphrases

formal verification
model checking
model checker
control system
bounded model checking
automated verification
neural network
control method
human operators
computer architecture
control strategy
symbolic model checking
program slicing