Proof-outlines for threads in Java

DOI10.1007/3-540-44618-4_18MaRDI QIDQ4536605zbMATH OpenFDO

Authors Erika Ábrahám, Frank S. de Boer

Publication date 28 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44618-4_18

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An assertion-based proof system for multithreaded Java
• A tool-supported proof system for multithreaded Java.
• A deductive proof system for multithreaded Java with exceptions
• scientific article; zbMATH DE number 2087419
• Verifying a Compiler for Java Threads
• Towards the automated verification of multithreaded Java programs
• Run-time checking multi-threaded Java programs
• A type system for JVM threads
• An enhanced thread synchronization mechanism for Java
• Inductive proof outlines for monitors in Java.

Cited in

(6)

• An assertion-based proof system for multithreaded Java
• Run-time checking multi-threaded Java programs
• scientific article; zbMATH DE number 2087419 (Why is no real title available?)
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
• A deductive proof system for multithreaded Java with exceptions
• A tool-supported proof system for multithreaded Java.

This page was built for publication: Proof-outlines for threads in Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536605)