Ivy: A Multi-modal Verification Tool for Distributed Algorithms-Reference-Cited by-同舟云学术

Ivy: A Multi-modal Verification Tool for Distributed Algorithms

Published:2020 Issue: Volume: Page:190-202
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

McMillan Kenneth L.,Padon Oded

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_12

Reference31 articles.

1. Alur, R., Henzinger, T.A.: Reactive modules. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, 27–30 July 1996, pp. 207–218. IEEE Computer Society (1996)

2. Lecture Notes in Computer Science;R Alur,1998

3. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)

4. Texts in Theoretical Computer Science. An EATCS Series;Y Bertot,2004

5. Biere, A., Artho, C., Schuppan, V.: Liveness checking as safety checking. Electr. Notes Theor. Comput. Sci. 66(2), 160–177 (2002)

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

2. Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata;Lecture Notes in Computer Science;2024-09-11

3. An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification;Proceedings of the ACM on Programming Languages;2024-01-05

4. Regular Abstractions for Array Systems;Proceedings of the ACM on Programming Languages;2024-01-05

5. Network Simulator-Centric Compositional Testing;Lecture Notes in Computer Science;2024