relation: https://digilib.uin-suka.ac.id/id/eprint/39306/
title: Experiences Using Z2SAL
creator: Siregar, Maria Ulfah
subject: Tehnik Informatika
description: 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
type: Conference or Workshop Item
type: PeerReviewed
format: text
language: en
identifier: https://digilib.uin-suka.ac.id/id/eprint/39306/1/icacsis2014MUS.pdf
identifier:   Siregar, Maria Ulfah   Experiences Using Z2SAL.  In: ICACSIS 2014.