Security protocols are critical components for the construction of secure Internet services but
their design and implementation are difficult and error prone. Formal modeling and …

The goal of partial-order methods is to accelerate the exploration of concurrent systems by
examining only a representative subset of all possible runs. The stateful approach builds a …

Unfolding can tackle the path-explosion problem caused by concurrency. Traditional
unfolding generation faces an NP-complete problem when adding events to the unfolding …

Studying concurrent systems is to sort the read/write and control events in the concurrent
system according to the order, or in partial order, or in strict order. Because of the …

Increasingly difficult and heavy computational tasks are now frequently handled using
message passing applications. However, distributed programming and more generally …