Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic-Reference-Cited by-同舟云学术

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic

Published:2016 Issue: Volume: Page:193-209
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Marconi Francesco,Bersani Marcello M.,Erascu Madalina,Rossi Matteo

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47846-3_13

Reference15 articles.

1. Apache Storm. http://storm.apache.org/

2. The Zot bounded satisfiability checker. github.com/fm-polimi/zot

3. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. In: Proceedings of LICS, pp. 160–170 (1993)

4. Lecture Notes in Computer Science;B Bérard,2005

5. Bersani, M., Erascu, M., Marconi, F., Rossi, M.: DICE verification tool - initial version. Technical report, DICE Consortium (2016). www.dice-h2020.eu

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

1. Improved Bounded Model Checking of Timed Automata;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05

2. Model Checking MITL Formulae on Timed Automata;ACM Transactions on Computational Logic;2020-07-31

3. On the Timed Analysis of Big-Data Applications;Lecture Notes in Computer Science;2018

4. A model-driven approach for the formal verification of storm-based streaming applications;ACM SIGAPP Applied Computing Review;2017-11-14

5. Formal verification of data-intensive applications through model checking modulo theories;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13