Java Program Verification Challenges-Reference-Cited by-同舟云学术

Java Program Verification Challenges

Published:2003 Issue: Volume: Page:202-219
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Jacobs Bart,Kiniry Joseph,Warnier Martijn

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39656-7_8

Reference25 articles.

1. Lecture Notes in Computer Science;E. Ábraham Mumm,2003

2. 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. Technical Report 2003-5, Chalmers and Göteborg University (2003), http://i12www.ira.uka.de/~key

3. Lecture Notes in Computer Science;J. Berg van den,2001

4. Bergstra, J., Loots, M.: Empirical semantics for object-oriented programs. Artificial Intelligence Preprint Series nr. 007, Dep. Philosophy, Utrecht Univ. (1999), http://preprints.phil.uu.nl/aips/

5. Börger, E., Schulte, W.: Initialization problems in Java. Software—Concepts and Tools 20(4) (1999)

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

1. Logic for reasoning about bugs in loops over data sequences (IFIL);Modeling and Analysis of Information Systems;2023-09-17

2. Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System;Automatic Control and Computer Sciences;2022-12

3. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022

4. The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination;Automatic Control and Computer Sciences;2019-12

5. Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects;Lecture Notes in Computer Science;2018