Simplmm: A Simplified and Abstract Multicore Hardware Model for Large Scale System Software Formal Verification ⋆

Autor:	Jieung Kim, Ronghui Gu, Zhong Shao
Rok vydání:	2023
DOI:	10.2139/ssrn.4450397
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c46b1b142a2e1f6bf953538cf8c91532 https://doi.org/10.2139/ssrn.4450397 Zobrazit plný text záznamu