Login / Signup

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.

Kun LiuXiaozhen ZhangWeiqiang KongGang HouMasahiko WatanabeAkira 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