Towards Verifying VDM Using SPIN.

Hsin-Hung Lin Yoichi Omori Shigeru Kusakabe Keijiro Araki

Published in: FTSCS (2015)

Keyphrases

model checking
room temperature
neural network
fine grained
data model
business processes