… A MSC is a collection of sequencing constraints that restricts the execution behavior of the
… It is for instance possible to test if locking/unlocking mechanisms used as guards around …

… programs is by checking for a bisimilarity between the candidate program and some predefined
test … may be needed in which interleaving via “|” is the most natural mechanism for nonde…

… the MSC format refers to the behavior description of several test components. In the concurrent
case, a TTCN test … composition mechanisms contained in the present version of the MSC …

… II contains the preliminaries on concurrent programs, bounded model checking and fuzzing,
… Thirdly, in EBF we provide a mechanism for defining atomic blocks (via EBF_atomic_begin …

… of design to describe a concurrent architecture, and at the … application of the model-checking
tool FDR to real problems … This is the mechanism by which parallel processes interact—…

… prescribed by our MSC model of the concurrent application automatically … test inputs are
generated internally. Thus we choose to use the MSC corresponding to this testing program …

… either explicitly create threads or employ some concurrency control mechanism. (II) More …
By applying these criteria, we selected a total of 55 projects for manual inspection. Table 9 …

… -based verification framework that provides mechanisms to … over structured concurrent
programs. We introduce layered … refinement checking over structured programs into modular …

… Lack of tractable methods for testing or, even more desired, formal verification of programs
… a system is in general the least documented, tested, and understood part. Most of the design …

… MSC-graph, we consider two possible semantics depending … For synchronous model checking
of MSC-graphs and HMSCs… offer an improved structuring mechanism. Consider a sample …