CrEStO: A Tool for Synthesizing Stateful Priorities
Christian Herrera, Nancy Gutierrez de la Cruz, Ricardo Quintero · 2020
Stateful priorities are used for imposing precise restrictions on system actions, in order to meet safety constraints. Those priorities restrict erroneous system behavior, whereas safe system behavior remains unrestricted. In this work, we present the design of the tool CrEStO, which obtains those priorities, and we extend its query support. We also present several examples, experiments and point out future research work.