CZT session management
Support for a session concept: collect and cache artifacts comprising the current development session.
Provides classes for managing and caching Z sections and other Z-related artifacts.
Tools for developing and reasoning about Z specifications
Support for a session concept: collect and cache artifacts comprising the current development session.
Provides classes for managing and caching Z sections and other Z-related artifacts.