Siregar, Maria Ulfah (2020) Experiences Using Z2SAL. In: ICACSIS 2014.
This is the latest version of this item.
|
Text (Experiences Using Z2SAL)
icacsis2014MUS.pdf - Published Version Download (179kB) | Preview |
|
|
Text
sertifikat icacsis 2014.pdf Download (19MB) | Preview |
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
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Tehnik Informatika |
| Divisions: | Artikel (Terbitan Luar UIN) |
| Depositing User: | Maria Ulfah Siregar S.Kom. MIT., Ph.D. |
| Date Deposited: | 09 Jul 2021 11:30 |
| Last Modified: | 04 Sep 2024 09:38 |
| URI: | http://digilib.uin-suka.ac.id/id/eprint/42315 |
Available Versions of this Item
-
Experiences Using Z2SAL. (deposited 21 May 2020 07:21)
- Experiences Using Z2SAL. (deposited 09 Jul 2021 11:30) [Currently Displayed]
Share this knowledge with your friends :
Actions (login required)
 |
View Item |
