Distributed systems are notorious for harboring subtle bugs. Verification can, in principle,
eliminate these bugs a priori, but verification has historically been difficult to apply at full …

We present a novel technique for static race detection in Java programs, comprised of a
series of stages that employ a combination of static analyses to successively reduce the …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

Data races occur when multiple threads are about to access the same piece of memory, and
at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs that …

In this paper, we study the well‐known Bonferroni mean and develop its generalized
aggregation operators in the Pythagorean fuzzy environment. More specifically, by …

Concurrency-related bugs may happen when multiple threads access shared data and
interleave in ways that do not correspond to any sequential execution. Their absence is not …

RoadRunner is a dynamic analysis framework designed to facilitate rapid prototy** and
experimentation with dynamic analyses for concurrent Java programs. It provides a clean …

Atomicity is a fundamental correctness property in multithreaded programs, both because
atomic code blocks are amenable to sequential reasoning (which significantly simplifies …

Race detection algorithms for multi-threaded programs using the common lock-based
synchronization idiom must correlate locks with the memory locations they guard. The heart …

Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …