Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68607OpenAlexW4298302743MaRDI QIDQ5312920FDOQ5312920

Authors: Jesse Bingham, Anne Condon, Alan J. Hu, Zhichuan Zhang, Shaz Qadeer 

Publication date: 25 August 2005

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

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

Recommendations

• Automatable verification of sequential consistency
• scientific article; zbMATH DE number 2102714
• scientific article; zbMATH DE number 1903349
• scientific article; zbMATH DE number 1670768
• Automatic Verification of Directory-Based Consistency Protocols

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatable verification of sequential consistency
• Automatic Verification of Directory-Based Consistency Protocols
• Title not available (Why is that?)
• Automatic verification of directory-based consistency protocols with graph constraints
• Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
• Automatic verification of RMA programs via abstraction extrapolation

This page was built for publication: Computer Aided Verification

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