<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Experiences Using Z2SAL"^^ . "The Z notation is a language that can be used\r\nfor writing formal specifications of a system since it is based\r\non mathematical notation and logic. However, there is less tool\r\nsupport for this language that one might wish for. In this paper,\r\nZ2SAL, a translator for Z which translates the Z notation into\r\na SAL input language, is explored. The generated SAL file can\r\nbe used further by an existing model checker, specifically ones\r\nprovided in the SAL tool suite. This paper describes experiences\r\nduring conducting several experiments on the Z2SAL translator"^^ . . . . . . . . "Maria Ulfah"^^ . "Siregar"^^ . "Maria Ulfah Siregar"^^ . . . . "ICACSIS 2014"^^ . . . . . . "Experiences Using Z2SAL (Text)"^^ . . . . . "icacsis2014MUS.pdf"^^ . . . "Experiences Using Z2SAL (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Experiences Using Z2SAL (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Experiences Using Z2SAL (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Experiences Using Z2SAL (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #39306 \n\nExperiences Using Z2SAL\n\n" . "text/html" . . . "Tehnik Informatika"@en . .