DocumentCode
3580842
Title
Experiences using Z2SAL
Author
Siregar, Maria Ulfah ; Derrick, John ; North, Siobhan ; Simons, Anthony J. H.
Author_Institution
Dept. of Comput. Sci., Univ. of Sheffield, Sheffield, UK
fYear
2014
Firstpage
225
Lastpage
231
Abstract
The Z notation is a language that can be used for writing formal specifications of a system since it is based on mathematical notation and logic. However, there is less tool support for this language that one might wish for. In this paper, Z2SAL, a translator for Z which translates the Z notation into a SAL input language, is explored. The generated SAL file can be used further by an existing model checker, specifically ones provided in the SAL tool suite. This paper describes experiences during conducting several experiments on the Z2SAL translator.
Keywords
formal specification; formal verification; SAL input language; Z notation translator; Z2SAL; formal specifications; model checker; Abstracts; Data structures; Model checking; Natural languages; Radio access networks; Semantics;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Science and Information Systems (ICACSIS), 2014 International Conference on
Type
conf
DOI
10.1109/ICACSIS.2014.7065856
Filename
7065856
Link To Document