Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tom Sidle"'
Publikováno v:
Electronic Notes in Theoretical Computer Science. 144(3):45-58
Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe05614c9ac2991fd18b46bdb1de2575
