Login / Signup

Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ.

Duong Dinh TranKazuhiro Ogata
Published in: WRLA (2024)
Keyphrases
  • concurrent programs
  • memory management
  • process algebra
  • model checking
  • concurrent programming
  • software engineering
  • concurrent processes
  • real time
  • belief revision
  • concurrent systems