The National Science Foundation (NSF) awarded a $900,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to The Trustees of Princeton University, through its Office of Research and Project Administration division. The grant's objective is to develop technology for both refuting and proving consistency properties of distributed system designs, with the goal of smoothing the effort-to-value curve of formal methods tools. This "pay-as-you-go" workflow aims to increase the adoption of formal methods and enable the creation of more reliable distributed computing systems. The project will implement the technology in open-source software, making it freely available to distributed systems designers. This award reflects NSF's mission to support scientific discovery and technological innovation with potential for broader societal impact.
Generated 1/28/25, 10:48 AM