Harnessing Multiple BMC Engines Together for Efficient Formal Verification.

Devleena Ghosh Sumana Ghosh Raj Kumar Gajavelly Ansuman Banerjee

Published in: MEMOCODE (2023)

Keyphrases

formal verification
model checking
symbolic model checking
computationally efficient
computationally expensive
learning algorithm
cost effective
belief revision
model checker