Understanding Safety Constraints Coalgebraically
Logic in Computer Science
2020-05-15 v1
Abstract
Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifying and analysing project artefacts. This paper proposes a coalgebraic approach to understanding behavioural constraints for systems of a kind. The advantage of the proposed approach is that it gives a framework for providing abstract semantic models of the domain-specific languages designed for specifying behavioural constraints.
Cite
@article{arxiv.2001.09787,
title = {Understanding Safety Constraints Coalgebraically},
author = {Grygoriy Zholtkevych and Maksym Labzhaniia},
journal= {arXiv preprint arXiv:2001.09787},
year = {2020}
}