Abstract
Spin and NuSMV are the two most widely-used model checkers. Because they have different characters, it makes sense to have a translator from Spin models to NuSMV models. In this paper we describe a tool named S2N which builds a bridge from Spin to NuSMV. With S2N users could choose the appropriate ways as needed to build and check their models.This work can also be thought as a study on the model transformation.
Supported by NNSFC grand no. 90718002,61100061.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Merz, S.: Model Checking: A Tutorial Overview. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 3–38. Springer, Heidelberg (2001)
Holzmann, G.J.: The Spin model checker: Primer and reference manual. Addison-Wesley (2004)
NuSMV tutorial, http://nusmv.fbk.eu/NuSMV/tutorial/index.html
Baldamus, M., Schröder-Babo, J.: p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 183–191. Springer, Heidelberg (2001)
Ruane, L.M.: Process synchronization in the UTS kernel. Computing systems 3(3), 387–421 (1990)
Bang, K.-S., Choi, J.-Y., Yoo, C.: Comments on “The model checker Spin”. IEEE Transactions on Software Engineering 27(6), 573–576 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jiang, Y., Qiu, Z. (2012). S2N: Model Transformation from SPIN to NuSMV. In: Donaldson, A., Parker, D. (eds) Model Checking Software. SPIN 2012. Lecture Notes in Computer Science, vol 7385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31759-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-31759-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31758-3
Online ISBN: 978-3-642-31759-0
eBook Packages: Computer ScienceComputer Science (R0)