Login / Signup

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.

Peimu LiJiaqi YinHuibiao ZhuLili XiaoMiroslav Popovic
Published in: COMPSAC (2022)
Keyphrases
  • formal analysis
  • formal methods
  • agent model
  • constraint satisfaction problems
  • management system
  • constraint satisfaction
  • real time
  • open source
  • constraint propagation
  • ban logic
  • access control
  • formal specification