An assertion-based proof system for multithreaded Java
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1650458 (Why is no real title available?)
- scientific article; zbMATH DE number 1693528 (Why is no real title available?)
- scientific article; zbMATH DE number 986407 (Why is no real title available?)
- scientific article; zbMATH DE number 192929 (Why is no real title available?)
- scientific article; zbMATH DE number 1927414 (Why is no real title available?)
- scientific article; zbMATH DE number 1759614 (Why is no real title available?)
- scientific article; zbMATH DE number 1798185 (Why is no real title available?)
- scientific article; zbMATH DE number 944097 (Why is no real title available?)
- scientific article; zbMATH DE number 4115919 (Why is no real title available?)
- scientific article; zbMATH DE number 2087419 (Why is no real title available?)
- scientific article; zbMATH DE number 1860624 (Why is no real title available?)
- scientific article; zbMATH DE number 2090132 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- A Proof System for Communicating Sequential Processes
- A proof technique for communicating sequential processes
- A syntax-directed Hoare logic for object-oriented programming concepts.
- A tool-supported proof system for multithreaded Java.
- An axiomatic basis for computer programming
- An axiomatic proof technique for parallel programs
- Hoare logic for Java in Isabelle/HOL
- How the design of JML accommodates both runtime assertion checking and formal verification
- Inductive proof outlines for monitors in Java.
- Specification and verification of object-oriented programs using supertype abstraction
Cited in
(22)- Run-time checking multi-threaded Java programs
- Permission-based separation logic for multithreaded Java programs
- Verifying a Compiler for Java Threads
- A proof system for a PGAS language
- scientific article; zbMATH DE number 2087419 (Why is no real title available?)
- scientific article; zbMATH DE number 1759614 (Why is no real title available?)
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- Verifying safety properties of concurrent Java programs using 3-valued logic
- Fifty years of Hoare's logic
- A program logic for resources
- MAVEN: Modular aspect verification and interference analysis
- A shared-variable concurrency analysis of multi-threaded object-oriented programs
- scientific article; zbMATH DE number 2080048 (Why is no real title available?)
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Inductive proof outlines for monitors in Java.
- A dynamic logic for deductive verification of multi-threaded programs
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
- A tool-supported proof system for multithreaded Java.
- A deductive proof system for multithreaded Java with exceptions
- A compositional operational semantics for Java\(_{\text{MT}}\)
- A system for compositional verification of asynchronous objects
- A Bibliography of Willem-Paul de Roever
This page was built for publication: An assertion-based proof system for multithreaded Java
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770359)
