Verification of Safety Properties in the Presence of Transactions-Reference-Cited by-同舟云学术

Verification of Safety Properties in the Presence of Transactions

Published:2005 Issue: Volume: Page:151-171
ISSN:0302-9743
Container-title:Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
language:
Short-container-title:

Author:

Hähnle Reiner,Mostowski Wojciech

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30569-9_8.pdf

Reference36 articles.

1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and Systems Modeling (April 2004), Online First issue, to appear in print

2. Lecture Notes in Computer Science;B. Beckert,2001

3. Beckert, B., Giese, M., Habermalz, E., Hähnle, R., Roth, A., Rümmer, P., Schlager, S.: Taclets: a new paradigm for constructing interactive theorem provers. In: Revista de la Real Academia de Ciencias Exactas, Fýsicas y Naturales, Serie A: Matemáticas. Special Issue on Symbolic Computation in Logic and Artificial Intelligence, vol. 98(1) (2004)

4. Lecture Notes in Computer Science;B. Beckert,2003

5. Lecture Notes in Artificial Intelligence;B. Beckert,2001

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

1. Hoare-Style Logic for Unstructured Programs;Software Engineering and Formal Methods;2020

2. A Dynamic Logic with Traces and Coinduction;Lecture Notes in Computer Science;2015

3. Midlet Navigation Graphs in JML;Lecture Notes in Computer Science;2011

4. Automating Verification of Loops by Parallelization;Logic for Programming, Artificial Intelligence, and Reasoning;2006

5. Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic;FM 2006: Formal Methods;2006