IJID (International Journal on Informatics for Development)
Vol. 5 No. 2 (2016): IJID December

Translations of Embedded Theorems in Z Specifications

Siregar, Maria Ulfah (Unknown)
Derrick, John (Unknown)
Yazid, Ahmad Subkhan (Unknown)

Article Info

Publish Date
26 Dec 2016

Abstract

This paper discusses our proposal on how to embed theorems in Z specifications. One reason behind this proposal is to ease Z users in writing theorems directly in their Z specifications. Another reason is not to overwhelm Z users in learning other language, which in this case is SAL language. In doing so, we need to inform Z2SAL programmers how to translate these embedded theorems into equivalence theorems in SAL specifications. Based on our experiments, Z2SAL is able to translate these kind of theorems and SAL model checker is also able to model check SAL specifications with theorems that are written directly in the Z specifications.

Copyrights © 2016




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Full PDF
240.873 KB
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
IJID (International Journal on Informatics for Development)
Website

Abbrev

ijid

Publisher

Universitas Islam Negeri Sunan Kalijaga Yogyakarta

Subject

Computer Science & IT

Description

One important point in the accreditation of higher education study programs is the availability of a journal that holds the results of research of many investigators. Since the year 2012, Informatics Department has English language. Journal called IJID International Journal on Informatics for ...