Author:
Konnov Igor,Kuppe Markus,Merz Stephan
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;A Biere,1999
2. Lecture Notes in Computer Science;D Cousineau,2012
3. Davis, A.J.J., Hirschhorn, M., Schvimer, J.: Extreme modelling in practice. Proc. VLDB Endow. 13(9), 1346–1358 (2020)
4. Lecture Notes in Computer Science;L de Moura,2008
5. Dijkstra, E.W.: Shmuel Safra’s version of termination detection (1987). https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extending PlusCal for Modeling Distributed Algorithms;iFM 2023;2023-11-06
2. A hybrid architecture for secure Big-Data integration and sharing in Smart Manufacturing;2023 46th International Spring Seminar on Electronics Technology (ISSE);2023-05-10
3. Symbolic Model Checking for TLA+ Made Faster;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. The TLA$$^{+}$$ Debugger;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023
5. Teaching TLA+ to Engineers at Microsoft;Formal Methods Teaching;2023