Preprint
Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches
Abstract
Data constraints are fundamental for practical data modelling, and a
verifiable conformance of a data instance to a safety-critical constraint
Authors
Diskin Z
Publication date
June 27, 2023
DOI
10.48550/arxiv.2306.16284
Preprint server
arXiv