Formal verification problems in a big data world: towards a mighty synergy-Reference-Cited by-同舟云学术

Formal verification problems in a big data world: towards a mighty synergy

Published:2014-05-31 Issue: Volume: Page:
ISSN:
Container-title:Companion Proceedings of the 36th International Conference on Software Engineering
language:
Short-container-title:

Author:

Camilli Matteo¹

Affiliation:

1. University of Milan, Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2591062.2591088

Reference27 articles.

1. Amazon Web Services. Elastic MapReduce. http:// aws.amazon.com/documentation/elasticmapreduce/ 2013. Last visited: June 2013. Amazon Web Services. Elastic MapReduce. http:// aws.amazon.com/documentation/elasticmapreduce/ 2013. Last visited: June 2013.

2. Parallel breadth-first search LTL model-checking

3. J. Barnat L. Brim and I. ˘ Cerná. Property driven distribution of nested dfs. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic pages 1–10 Pittsburgh PA USA 2002. Dept. of Electronics and Computer Science University of Southampton. J. Barnat L. Brim and I. ˘ Cerná. Property driven distribution of nested dfs. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic pages 1–10 Pittsburgh PA USA 2002. Dept. of Electronics and Computer Science University of Southampton.

4. DiVinE: Parallel Distributed Model Checker

5. Sequential and distributed model checking of Petri nets

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

1. Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments;2023 8th International Conference on Information Systems Engineering;2023-12-16

2. OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications;Online Journal of Communication and Media Technologies;2023-10-10

3. New Horizons for Metamorphic Relationships in Formal Verification;Communications in Computer and Information Science;2023

4. A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems;Communications in Computer and Information Science;2022

5. Formal specification and verification of decentralized self-adaptive systems using symmetric nets;Discrete Event Dynamic Systems;2021-08-05