Software model checking for resources race
Sign Up to like & getrecommendations! Published in 2017 at "Cluster Computing"
DOI: 10.1007/s10586-017-0757-z
Abstract: The difficulty of finding resources race is well known. Such errors are hard to be detected, because they often happen irregularly and reproduce difficultly. Especially, the kind race conflicts exist among processes, threads, and interrupts.… read more here.
Keywords: race; resources race; model checking; software model ... See more keywords