Sign in
Control flow-guided SMT solving for program verification.
Jianhui Chen
Fei He
Published in:
ASE (2018)
Keyphrases
</>
control flow
data flow
process model
modeling language
workflow management systems
database
software testing
transition systems
data sets
reactive systems
workflow processes