Model Checking Parameterized Asynchronous Shared-Memory Systems

Durand-Gasselin, Antoine; Esparza, Javier; Gant, Pierre; Majumdar, Rupak

doi:10.1007/s10703-016-0258-3

Local TagsRelease HistoryDetailsSummary

Model Checking Parameterized Asynchronous Shared-Memory Systems

Durand-Gasselin, A., Esparza, J., Gant, P., & Majumdar, R. (2017). Model Checking Parameterized Asynchronous Shared-Memory Systems. Formal Methods in System Design, 50(2-3), 140-167. doi:10.1007/s10703-016-0258-3.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-E702-9 Version Permalink: https://hdl.handle.net/21.11116/0000-0000-E7C7-B

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Durand-Gasselin, Antoine¹, Author
Esparza, Javier¹, Author
Gant, 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: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Durand-Gasselin2017
DOI: 10.1007/s10703-016-0258-3

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Formal Methods in System Design

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : Springer

Pages: - Volume / Issue: 50 (2-3) Sequence Number: - Start / End Page: 140 - 167 Identifier: -