Add to ORKGThe 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 translato
The Z notation is a language used for writing formal specifications of a system. However, tool suppo...
There are some problems to describe the formal Z notation using a standard text editor. One of the r...
Zinc is a new modelling language developed as part of the G12 project. It has four important charact...
Abstract—The Z notation is a language that can be used for writing formal specifications of a system...
The Z notation is a language that can be used for writing formal specifications of a system since it...
In this paper we discuss our progress towards building a model-checker for Z. The approach we take i...
Abstract. In this paper we discuss our progress towards building a model-checker for Z. The approach...
Abstract. Despite being widely known and accepted in industry, the Z formal specification language h...
The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems....
One of deficiencies in the Z tools is that there is limited support for model checking Z specificati...
In previous work we have described how refinements can be checked using a temporal logic based model...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
The work presented in this thesis is concerned with the issues involved in writing and demonstrating...
The Z notation is a language used for writing formal specifications of a system. However, tool suppo...
There are some problems to describe the formal Z notation using a standard text editor. One of the r...
Zinc is a new modelling language developed as part of the G12 project. It has four important charact...
Abstract—The Z notation is a language that can be used for writing formal specifications of a system...
The Z notation is a language that can be used for writing formal specifications of a system since it...
In this paper we discuss our progress towards building a model-checker for Z. The approach we take i...
Abstract. In this paper we discuss our progress towards building a model-checker for Z. The approach...
Abstract. Despite being widely known and accepted in industry, the Z formal specification language h...
The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems....
One of deficiencies in the Z tools is that there is limited support for model checking Z specificati...
In previous work we have described how refinements can be checked using a temporal logic based model...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
Z is a formal specification language combining typed set theory, predicate calculus, and a schema ca...
The work presented in this thesis is concerned with the issues involved in writing and demonstrating...
The Z notation is a language used for writing formal specifications of a system. However, tool suppo...
There are some problems to describe the formal Z notation using a standard text editor. One of the r...
Zinc is a new modelling language developed as part of the G12 project. It has four important charact...