Deductive Verification of System Software in the Verisoft XT Project-Reference-Cited by-同舟云学术

Deductive Verification of System Software in the Verisoft XT Project

Published:2010-02-05 Issue:1 Volume:24 Page:57-61
ISSN:0933-1875
Container-title:KI - Künstliche Intelligenz
language:en
Short-container-title:Künstl Intell

Author:

Beckert Bernhard,Moskal Michał

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence

Link

http://link.springer.com/content/pdf/10.1007/s13218-010-0005-7.pdf

Reference14 articles.

1. Ahrendt W, Beckert B, Giese M, Rümmer P (2010) Practical aspects of automated deduction for program verification. Künstl Intell (in this issue)

2. LNCS;M Barnett,2005

3. Baumann C, Beckert B, Blasum H, Bormer T (2009) Better avionics software reliability by code verification. In: Proceedings of the embedded world conference

4. LNCS;C Baumann,2009

5. Böhme S, Moskal M, Schulte W, Wolff B (2010) HOL-Boogie: an interactive prover-backend for the verifying C compiler. J Autom Reas 44(1–2) 111–144

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

1. Refinement Verification of OS Services based on a Verified Preemptive Microkernel;Lecture Notes in Computer Science;2024

2. From Verified Scala to STIX File System Embedded Code Using Stainless;Lecture Notes in Computer Science;2022

3. VSync: push-button verification and optimization for synchronization primitives on weak memory models;Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2021-04-17

4. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more;International Journal on Software Tools for Technology Transfer;2018-03-03

5. Towards Thwarting Unauthorized Network Accesses with a Feather-Weight Hypervisor;2013 International Conference on Cloud Computing and Big Data;2013-12