Home › Entities › doctoral_thesis › On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures

On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures

2013 doctoral thesis by David Friggens at Victoria University of Wellington
Place doctoral_thesis Q112574800
Press Enter · cited answer in seconds

On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures

Summary

On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures is a doctoral thesis[1].

Key Facts

  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures authored David Friggens[2].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's instance of is recorded as doctoral thesis[3].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's publisher is recorded as Open Access Repository Victoria University of Wellington[4].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's DOI is recorded as 10.26686/WGTN.17004076[5].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's language of work or name is recorded as English[6].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's country of origin is recorded as New Zealand[7].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's publication date is recorded as +2013-01-01T00:00:00Z[8].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's main subject is recorded as model checking[9].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's title is recorded as On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures[10].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's copyright holder is recorded as David Friggens[11].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's thesis submitted to is recorded as Victoria University of Wellington[12].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's on focus list of Wikimedia project is recorded as NZThesisProject[13].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's copyright status is recorded as copyrighted[14].
  • On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's thesis committee member is recorded as Lindsay Groves[15].

Body

Designation and Status

On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures's instance of is recorded as doctoral thesis[3].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [3] ↑ . wikidata.org.
  2. [2] ↑ . wikidata.org.
  3. [4] ↑ . wikidata.org.
  4. [5] ↑ . wikidata.org.
  5. [6] ↑ . wikidata.org.
  6. [7] ↑ . wikidata.org.
  7. [8] ↑ . wikidata.org.
  8. [9] ↑ . doi.org. doi.org. Provenance: wikidata.org.
  9. [10] ↑ . wikidata.org.
  10. [11] ↑ . wikidata.org.
  11. [12] ↑ . wikidata.org.
  12. [13] ↑ . wikidata.org.
  13. [14] ↑ . wikidata.org.
  14. [15] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures. Retrieved May 3, 2026, from https://4ort.xyz/entity/on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures
MLA “On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures.
BibTeX @misc{4ortxyz_on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures}}, year = {2026}, url = {https://4ort.xyz/entity/on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): On the Use of Model Checking for the Bounded and Unbounded Verification  of Nonblocking Concurrent Data Structures — https://4ort.xyz/entity/on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures · Last refreshed: