Login / Signup
Towards Continuous Consistency Checking of DevOps Artefacts.
Alessandro Colantoni
Benedek Horváth
Ákos Horváth
Luca Berardinelli
Manuel Wimmer
Published in:
MoDELS (Companion) (2021)
Keyphrases
</>
consistency checking
query answering
stochastic search
temporal reasoning
temporal constraints
global consistency
continuous domains
cardinal directions
decision making
case study
relational databases
constraint satisfaction problems