Towards Verifying VDM Using SPIN

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_14 ◽

2016 ◽

pp. 241-256 ◽

Cited By ~ 1

Author(s):

Hsin-Hung Lin ◽

Yoichi Omori ◽

Shigeru Kusakabe ◽

Keijiro Araki

Download Full-text