Periodic Reporting for period 2 - VAPLCS (Verification-Aware Programming Language Concurrency Semantics)

The concept of concurrent programming involves the simultaneous execution of multiple program threads. It holds a pivotal role in critical systems such as operating system kernels, where both speed and safety are of paramount importance. To formally verify these concurrent...