McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Art, Science, and Engineering of Programming Jg. 8; H. 1
Hauptverfasser:	Pirtle, Maxwell, Jovanovic, Luka, Cooperman, Gene
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	15.06.2023
ISSN:	2473-7321, 2473-7321
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	2473-7321 2473-7321
DOI:	10.22152/programming-journal.org/2024/8/1