SMT-Based Theorem Verification for Testing-Based Formal Verification.

Kenta Sugai Hiroshi Hosobe Shaoying Liu

Published in: ICSCA (2021)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
functional verification
temporal logic
statistical machine translation
expert systems
word alignment
verification method
program slicing