Login / Signup

Formal Modelling and Verification of Spinlocks at Instruction Level.

Leping ZhangQianying ZhangGuohui WangZhiping ShiMinhua WuYong Guan
Published in: APSEC (2019)
Keyphrases
  • data sets
  • model checking
  • levels of abstraction
  • formal methods
  • formal analysis
  • formal verification
  • high level
  • formal specification
  • database
  • real time
  • case study
  • verification method
  • learning disabled students