eprintid: 39306
rev_number: 8
eprint_status: archive
userid: 12308
dir: disk0/00/03/93/06
datestamp: 2020-05-21 00:21:08
lastmod: 2020-05-21 00:21:08
status_changed: 2020-05-21 00:21:08
type: conference_item
metadata_visibility: no_search
contact_email: maria.siregar@uin-suka.ac.id
creators_name: Siregar, Maria Ulfah
title: Experiences Using Z2SAL
ispublished: pub
subjects: TB
divisions: artkl
full_text_status: public
pres_type: paper
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
event_title: ICACSIS 2014
event_type: conference
refereed: TRUE
citation:   Siregar, Maria Ulfah   Experiences Using Z2SAL.  In: ICACSIS 2014.     
document_url: https://digilib.uin-suka.ac.id/id/eprint/39306/1/icacsis2014MUS.pdf