Login / Signup

Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN.

Kosuke MatsumotoTomoharu Ugawa
Published in: J. Inf. Process. (2019)
Keyphrases
  • model checking
  • finite state machines
  • model checker
  • temporal properties
  • verification method
  • knowledge base
  • multi agent
  • process model
  • formal verification