Dynamic Logic with Trace Semantics-Reference-Cited by-同舟云学术

Dynamic Logic with Trace Semantics

Published:2013 Issue: Volume: Page:315-329
ISSN:0302-9743
Container-title:Automated Deduction – CADE-24
language:
Short-container-title:

Author:

Beckert Bernhard,Bruns Daniel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38574-2_22

Reference15 articles.

1. Abadi, M., Manna, Z.: Nonclausal deduction in first-order temporal logic. Journal of the ACM 37(2), 279–317 (1990)

2. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20(3), 651–674 (2010)

3. Beckert, B.: A dynamic logic for Java Card. In: Proceedings, 2nd ECOOP Workshop on Formal Techniques for Java Programs, Cannes, France, pp. 111–119 (2000)

4. Beckert, B., Bruns, D.: Dynamic trace logic: Definition and proofs. Tech. Rep. 2012-10, Karlsruhe Institute of Technology, Department of Computer Science (2012), revised version available at http://formal.iti.kit.edu/~bruns/papers/trace-tr.pdf

5. Lecture Notes in Artificial Intelligence,2007

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

1. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages;ACM Transactions on Programming Languages and Systems;2024-03-29

2. Context-Aware Trace Contracts;Lecture Notes in Computer Science;2024

3. A dynamic logic with branching modalities;Journal of Logical and Algebraic Methods in Programming;2024-01

4. Deductive verification of active objects with Crowbar;Science of Computer Programming;2023-03

5. Runtime Enforcement Using Knowledge Bases;Fundamental Approaches to Software Engineering;2023