Login / Signup

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN.

Kosuke MatsumotoTomoharu UgawaTatsuya Abe
Published in: J. Inf. Process. (2018)
Keyphrases
  • model checking
  • model checker
  • temporal logic
  • multi agent
  • process model
  • temporal properties
  • verification method
  • symbolic model checking