Parameterized Verification of Asynchronous Shared-Memory Systems

Esparza, Javier; Ganty, Pierre; Majumdar, Rupak

doi:10.1145/2842603

Local TagsRelease HistoryDetailsSummary

Parameterized Verification of Asynchronous Shared-Memory Systems

Esparza, J., Ganty, P., & Majumdar, R. (2016). Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM, 63(1): 10. doi:10.1145/2842603.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-E477-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-E478-2

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Esparza, Javier¹, Author
Ganty, Pierre¹, Author
Majumdar, Rupak², Author

Affiliations:
1External Organizations, ou_persistent22
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2016Date issued: 2016

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: DBLP:journals/jacm/EsparzaGM16
DOI: 10.1145/2842603

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of the ACM

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: 48 p. Volume / Issue: 63 (1) Sequence Number: 10 Start / End Page: - Identifier: -