Login / Signup
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.
Kun Liu
Xiaozhen Zhang
Weiqiang Kong
Gang Hou
Masahiko Watanabe
Akira Fukuda
Published in:
DSA (2019)
Keyphrases
</>
bounded model checking
formal verification
model checking
temporal logic
linear temporal logic
general purpose
image interpolation
multi agent systems
design principles
linear interpolation