Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation-Reference-Cited by-同舟云学术

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation

Published:2017 Issue: Volume: Page:139-158
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets and Concurrency
language:
Short-container-title:

Author:

Dalsgaard Andreas E.,Enevoldsen Søren,Fogh Peter,Jensen Lasse S.,Jepsen Tobias S.,Kaufmann Isabella,Larsen Kim G.,Nielsen Søren M.,Olesen Mads Chr.,Pastva Samuel,Srba Jiří

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-57861-3_10

Reference31 articles.

1. Barnat J. et al.: DiVinE 3.0 – an explicit-state model checker for multithreaded C & C++ programs. In: Sharygina N., Veith H. (eds) CAV 2013. LNCS, vol 8044, pp. 863–868. Springer, Heidelberg (2013)

2. Bellettini, C., Camilli, M., Capra, L., Monga, M.: Distributed CTL model checking in the cloud. arXiv preprint arXiv:1310.6670 (2013)

3. Lecture Notes in Computer Science;B Bollig,2002

4. Brim, L., Crhova, J., Yorav, K.: Using assumptions to distribute CTL model checking. ENTCS 68(4), 559–574 (2002)

5. Lecture Notes in Computer Science;F Cassez,2005

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

1. CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics;Electronic Proceedings in Theoretical Computer Science;2023-09-30

2. Elimination of Detached Regions in Dependency Graph Verification;Model Checking Software;2023

3. Extended abstract dependency graphs;International Journal on Software Tools for Technology Transfer;2021-08-07

4. Dependency graphs with applications to verification;International Journal on Software Tools for Technology Transfer;2020-06-06

5. On-the-Fly Synthesis for Strictly Alternating Games;Application and Theory of Petri Nets and Concurrency;2020