The National Science Foundation (NSF) awarded a $620,000 Project Grant under its Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to the University of Illinois to develop an end-to-end toolchain for formally verifying the correctness of concurrent C programs. The project aims to create novel interactive and automatic proof tools that are mathematically connected to the execution of the compiled C code. This will improve the reliability of critical software systems and reduce failures across domains including cybersecurity, safety, and productivity. The project extends the existing Verified Software Toolchain (VST) to support concurrent C programming models, including the latest high-performance concurrency features introduced in the C11 standard. The award period is from August 15, 2024 to July 31, 2027.
Generated 1/28/25, 8:33 AM