Permission-Based Separation Logic for Multithreaded Java Programs

DOI10.2168/LMCS-11(1:2)2015zbMath1448.68215arXiv1411.0851OpenAlexW3121786935MaRDI QIDQ5177333

Afshin Amighi, Marieke Huisman, Clément Hurlin, Christian Haack

Publication date: 11 March 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.0851

zbMATH Keywords

Javaseparation logicprogram verificationmultithreaded programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verification of Concurrent Systems with VerCors

This page was built for publication: Permission-Based Separation Logic for Multithreaded Java Programs