This $150,000 Project Grant awarded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program will fund the development of HYPERQB, a state-of-the-art bounded model checking tool for verifying security and privacy properties of computing systems. The project aims to significantly enhance the performance and usability of the HYPERQB tool by incorporating advanced semantics, improving its completeness, optimizing its implementation, and providing support for popular modeling languages and user interfaces. The project will evaluate the enhanced tool through rigorous benchmarking using case studies from information-flow security and concurrent data structures. No sub-awards are planned for this grant, which has an award period from September 1, 2024 to August 31, 2026.
Generated 1/28/25, 10:54 AM