Inductive proof outlines for monitors in Java.

DOI10.1007/B94120MaRDI QIDQ5902547zbMATH OpenOpenAlexFDO

Authors Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen

Publication date 12 January 2010

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

Full work available at URL https://doi.org/10.1007/b94120

zbMATH Keywords

deductive verificationJavamonitorsmultithreadingobject-orientationproof-outlines

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 2087419
• An assertion-based proof system for multithreaded Java
• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• A deductive proof system for multithreaded Java with exceptions
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

Cited in

(9)

• An assertion-based proof system for multithreaded Java
• A proof outline logic for object-oriented programming
• Safe locking for multi-threaded Java
• scientific article; zbMATH DE number 1759614 (Why is no real title available?)
• scientific article; zbMATH DE number 2087419 (Why is no real title available?)
• scientific article; zbMATH DE number 1858610 (Why is no real title available?)
• Advanced concurrency control in Java
• Modelling thread synchronization in Java using generalized net
• Modular verification of multithreaded programs

This page was built for publication: Inductive proof outlines for monitors in Java.

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