Login / Signup

S2N: Model Transformation from SPIN to NuSMV - (Tool Paper).

Yong JiangZongyan Qiu
Published in: SPIN (2012)
Keyphrases
  • computational model
  • probabilistic model
  • conceptual model
  • knowledge base
  • model checker