This Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), provides $174,999 to Monmouth University Inc. to develop a formal verification framework for analyzing relational quantitative properties in software programs that use mutable arrays.
The key objectives are to create more precise tools for verifying important software qualities like security, privacy, and efficiency by addressing limitations in existing relational reasoning techniques. The research aims to generalize these techniques to support a broader range of relational properties involving mutable arrays, a commonly used data structure. By integrating theoretical advances with practical tool development, this project is expected to significantly enhance the field of relational quantitative reasoning and lead to more reliable and correct software. The award runs from February 1, 2025 to January 31, 2027 and includes providing training in formal verification research to undergraduate and graduate students.
Generated 3/4/25, 5:18 AM