Explaining Verification Conditions-Reference-Cited by-同舟云学术

Explaining Verification Conditions

Published:2008 Issue: Volume: Page:145-159
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Denney Ewen,Fischer Bernd

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-79980-1_12

Reference15 articles.

1. Lecture Notes in Computer Science;G. Barthe,2007

2. Crocker, D.: Perfect Developer: a tool for object-oriented formal specification and refinement. In: Tool Exhibition Notes, FM 2003, pp. 37–41 (2003)

3. Lecture Notes in Computer Science;E. Denney,2003

4. Lecture Notes in Computer Science;E. Denney,2005

5. Denney, E., Fischer, B.: A program certification assistant based on fully automated theorem provers. In: Proc. Intl. Workshop on User Interfaces for Theorem Provers (UITP 2005), Edinburgh, pp. 98–116 (2005)

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

1. Policy-Based Code Slicing of Database Application Using Semantic Rule-Based Approach;Innovations in Bio-Inspired Computing and Applications;2023

2. Running Regular Research Seminar Online;Agents and Multi-agent Systems: Technologies and Applications 2023;2023

3. Automation of C Program Deductive Verification without Using Loop Invariants;Programming and Computer Software;2022-09-13

4. The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs;Automatic Control and Computer Sciences;2020-12

5. An Introduction to Software Verification with Whiley;Engineering Trustworthy Software Systems;2019