Executing temporal logic programs
Executing temporal logic programs
The Z notation: a reference manual
The Z notation: a reference manual
Software development: two approaches to animation of Z specifications using Prolog
Software Engineering Journal
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
A Modular Framework for the Integration of Heterogeneous Notations and Tools
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Hi-index | 0.00 |
The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation technique of concurrent constraint resolution. In this paper, we present a case-study for the environment, by providing an executable encoding of temporal interval logics in the Z language. As an application of this setting, test-case evaluation of trace-producing systems on the base of a formal requirements specifications is envisaged.