The Safety-Critical Java Memory Model: A Formal Account

Ana Cavalcanti; Andy J. Wellings; Jim Woodcock

The Safety-Critical Java Memory Model: A Formal Account

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	FM 2011: 17th International Symposium of Formal Methods
Pages	246-261
Number of pages	16
Volume	6664 LNCS
Publication status	Published - 2011

Publication series

Name	Lecture Notes in Computer Science
Volume	6664

Access to Document

http://dx.doi.org/10.1007/978-3-642-21437-0_20

Cite this

@inproceedings{b08025e74ea848088d8be34894fbe155,

title = "The Safety-Critical Java Memory Model: A Formal Account",

author = "Ana Cavalcanti and Wellings, {Andy J.} and Jim Woodcock",

year = "2011",

language = "Undefined/Unknown",

volume = "6664 LNCS",

series = "Lecture Notes in Computer Science",

pages = "246--261",

booktitle = "FM 2011: 17th International Symposium of Formal Methods",

}

TY - GEN

T1 - The Safety-Critical Java Memory Model

T2 - A Formal Account

AU - Cavalcanti, Ana

AU - Wellings, Andy J.

AU - Woodcock, Jim

PY - 2011

Y1 - 2011

UR - http://www.scopus.com/inward/record.url?scp=79959968058&partnerID=8YFLogxK

M3 - Conference contribution

VL - 6664 LNCS

T3 - Lecture Notes in Computer Science

SP - 246

EP - 261

BT - FM 2011: 17th International Symposium of Formal Methods

ER -

The Safety-Critical Java Memory Model: A Formal Account

Publication series

Access to Document

Other files and links

hiJaC: HIJAC: High-Integrity Java applications using circus

High Integrity Java Applications

Cite this

The Safety-Critical Java Memory Model: A Formal Account

Publication series

Access to Document

Other files and links

Projects

hiJaC: HIJAC: High-Integrity Java applications using circus

High Integrity Java Applications

Cite this