Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. The verified incremental design of a distributed spanning tree algorithm: extended abstract;Hesselink;Form. Asp. Comput.,1999
2. Symbolic model checking for self-stabilizing algorithms;Tsuchiya;IEEE Trans. Parallel Distrib. Syst.,2001
3. Optimal grid exploration by asynchronous oblivious robots;Devismes,2012
4. Ivy: a multi-modal verification tool for distributed algorithms;McMillan,2020
5. Verifying safety of synchronous fault-tolerant algorithms by bounded model checking;Stoilkovska;Int. J. Softw. Tools Technol. Transf.,2022
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献