Run-time checking multi-threaded Java programs

DOI10.1007/978-3-662-49192-8_18MaRDI QIDQ2794361zbMATH OpenOpenAlexFDO

Authors Stijn De Gouw, Frank S. de Boer

Publication date 10 March 2016

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

Full work available at URL https://ir.cwi.nl/pub/25173

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1759614
• An assertion-based proof system for multithreaded Java
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
• scientific article; zbMATH DE number 1670562
• A tool-supported proof system for multithreaded Java.

Cited in

(7)

• scientific article; zbMATH DE number 1670562 (Why is no real title available?)
• scientific article; zbMATH DE number 1670568 (Why is no real title available?)
• Verifying a Compiler for Java Threads
• scientific article; zbMATH DE number 1759614 (Why is no real title available?)
• Practical run-time checking via unobtrusive property caching
• Framework for testing multi‐threaded Java programs
• Security monitor inlining and certification for multithreaded Java

This page was built for publication: Run-time checking multi-threaded Java programs

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