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