Specification and verification-Reference-Cited by-同舟云学术

Specification and verification

Published:2011-06 Issue:6 Volume:54 Page:81-91
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Barnett Mike¹,Fähndrich Manuel¹,Leino K. Rustan M.¹,Müller Peter²,Schulte Wolfram¹,Venter Herman¹

Affiliation:

1. Microsoft Research, Redmond, WA

2. Swiss Federal Institute of Technology (ETH), Zürich, Switzerland

Abstract

Can a programming language really help programmers write better programs?

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/1953122.1953145

Reference23 articles.

1. Boogie: A Modular Reusable Verifier for Object-Oriented Programs

2. The Spec# Programming System: An Overview

3. An overview of JML tools and applications

4. A reachability predicate for analyzing low-level software. In Proceedings of Tools and Algorithms for Construction and Analysis of Systems, Volume 4424 LNCS (Braga;Chatterjee S.;Portugal, Mar. 24--Apr. 1). Springer,2007

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

1. Formal Runtime Error Detection During Development in the Automotive Industry;Lecture Notes in Computer Science;2023-12-30

2. Design by Contract for Deep Learning APIs;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Automated Verification of the Program Code in the Development Process According to Team Defined Rules;2023 International Conference Automatics and Informatics (ICAI);2023-10-05

4. Sound Runtime Assertion Checking for Memory Properties via Program Transformation;Formal Aspects of Computing;2023-07-31

5. Flexible Correct-by-Construction Programming;Logical Methods in Computer Science;2023-06-07