Add concurrency checking based on GenMC#523

KurtWu10 wants to merge 10 commits into

mainau-ts/sddf:mainfrom

genmcau-ts/sddf:genmcCopy head branch name to clipboard