Testing the Satisfiability of Z Formal Specifications by Using Prolog
Main Article Content
Abstract
Formal specifications are now being used as a basis for communication, design, testing and verification of a software product. For a formal specification to be used effectively, it must be valid, which means that it must be well-formed and reflects the user requirements. The normal technique for validating a formal specification is by using formal reasoning. However, the use of formal reasoning is extremely tedious and time consuming. In this paper we explore alternative techniques for validating a Z formal specification. In particular, we consider the concept of satisfiability as a weaker alternative to validity and discuss how testing can be used to check the satisfiability of a Z formal specification.
Downloads
Download data is not yet available.
Article Details
How to Cite
Mohd Zin, A., & Shukur, Z. (2004). Testing the Satisfiability of Z Formal Specifications by Using Prolog. Malaysian Journal of Computer Science, 17(1), 42–51. Retrieved from http://jice.um.edu.my/index.php/MJCS/article/view/6185
Section
Articles