Login / Signup
SMT-based verification of program changes through summary repair.
Sepideh Asadi
Martin Blicha
Antti E. J. Hyvärinen
Grigory Fedyukovich
Natasha Sharygina
Published in:
Formal Methods Syst. Des. (2022)
Keyphrases
</>
symbolic execution
hardware designs
model checking
computer programs
program execution
control program
temporal logic
programming environment
formal verification
knowledge base
face verification
statistical machine translation
machine translation system
consistent query answering