Verification of a Transactional Memory Manager under Hardware Failures and Restarts-Reference-Cited by-同舟云学术

Verification of a Transactional Memory Manager under Hardware Failures and Restarts

Published:2014 Issue: Volume: Page:449-464
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Marić Ognjen,Sprenger Christoph

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-06410-9_31

Reference13 articles.

1. Arnold, T.W., Buscaglia, C., Chan, F., Condorelli, V., Dayka, J., Santiago-Fernandez, W., Hadzic, N., Hocker, M.D., Jordan, M., Morris, T., Werner, K.: IBM 4765 cryptographic coprocessor. IBM Journal of Research and Development 56(1.2), 10:1–10:13 (2012)

2. Sabatier, D., Lartigue, P.: The use of the B formal method for the design and the validation of the transaction mechanism for smart card applications. Formal Methods in System Design, 245–272 (2000)

3. Lecture Notes in Computer Science;P. Hartel,2001

4. Poll, E., Hartel, P., de Jong, E.: A Java reference model of transacted memory for smart cards. In: Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference (CARDIS 2002), pp. 1–14 (2002)

5. Lecture Notes in Computer Science;T. Nipkow,2002

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

1. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021

2. A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms;Dependable Software Engineering. Theories, Tools, and Applications;2019

3. Modular Verification of Order-Preserving Write-Back Caches;Lecture Notes in Computer Science;2017

4. Modular, crash-safe refinement for ASMs with submachines;Science of Computer Programming;2016-12

5. Cogent;ACM SIGPLAN Notices;2016-06-09