Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning-Reference-Cited by-同舟云学术

Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning

Published:2015 Issue: Volume: Page:159-174
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Jakobs Marie-Christine

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22969-0_12

Reference19 articles.

1. Lecture Notes in Computer Science;E Albert,2006

2. Amme, W., Möller, M.A., Adler, P.: Data flow analysis as a general concept for the transport of verifiable program annotations. Theor. Comput. Sci. 176(3), 97–108 (2007). COCV 2006

3. Andreev, K., Räcke, H.: Balanced graph partitioning. In: SPAA 2004, pp. 120–124. ACM (2004)

4. Besson, F., Jensen, T., Pichardie, D.: Proof-carrying code from certified abstract interpretation and fixpoint compression. Theor. Comput. Sci. 364(3), 273–291 (2006). applied Semantics

5. Lecture Notes in Computer Science;F Besson,2007

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

1. Reusing Predicate Precision in Value Analysis;Lecture Notes in Computer Science;2022

2. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

3. When Are Software Verification Results Valid for Approximate Hardware?;Tests and Proofs;2019

4. CoVeriTest: Cooperative Verifier-Based Testing;Fundamental Approaches to Software Engineering;2019

5. Information Flow Certificates;Theoretical Aspects of Computing – ICTAC 2018;2018