Patent ID: 8234647

Claim:
One or more non-transitory computer-readable storage media for storing instructions, the instructions comprising: one or more instructions, executable by at least one processor, to: generate a graph containing one or more nodes the one or more nodes corresponding to at least two blocks in an executable block diagram model, the graph representing an execution sequence of the at least two blocks in the executable block diagram model, generate one or more Boolean expressions based on the one or more nodes contained in the graph, generate a conjunction of the one or more Boolean expressions and a Boolean expression that represents a condition, the condition corresponding to two or more blocks of the at least two blocks, in the executable block diagram accessing a shared resource at a same time, determine whether the shared resource is accessed on a mutually exclusive basis by the two or more blocks in the executable block diagram model based on the conjunction; generate a result, based on the determination, that indicates whether the shared resource is accessed on the mutually exclusive basis; and output the result.