Paper Info
Title
Z2SAL - Building a Model Checker for Z
Abstract
In this paper we discuss our progress towards building a model-checker for Z. The approach we take in our Z2SAL project involves implementing a translation from Z into the SAL input language, upon which the SAL toolset can be applied. The toolset includes a number of model-checkers together with a simulator. In this paper we discuss our progress towards implementing as complete as a translation as possible, the limitations we have reached and the optimizations we have made. We illustrate with a small example.
Year
DOI
Venue
2008
10.1007/978-3-540-87603-8_22
ABZ
Keywords
Field
DocType
model checker,z2sal project,sal toolset,sal input language,small example,model checking
Programming language,Model checking,Computer science
Conference
Citations 
PageRank 
References 
11
0.51
10
Authors
3
Name
Order
Citations
PageRank
John Derrick117016.67
Siobhan North2495.38
Anthony J. Simons3201.41