SURVEY ON PARAMETERIZED VERIFICATION WITH THRESHOLD AUTOMATA AND THE BYZANTINE MODEL CHECKER.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(15)2023
- By:
- Publication type:
- Article
Works matching AU Stoilkovska, Ilina
Results: 2
1
2
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 33, doi. 10.1007/s10009-021-00637-9
- By:
- Publication type:
- Article