CrEStO: A Tool for Synthesizing Stateful Priorities
- Resource Type
- Conference
- Source
- 2020 16th European Dependable Computing Conference (EDCC) EDCC Dependable Computing Conference (EDCC), 2020 16th European. :143-146 Sep, 2020
- Subject
Computing and Processing Automata Libraries Encoding Engines Tools Model checking Syntactics Stateful priorities, discrete automata, design patterns, SMT-solving, model checking - Language