This $149,999 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to advance probabilistic verification tool development for synthetic biology applications. The project at Utah State University (USU) seeks to improve the scalability, automation, and accuracy of probabilistic model checking (PMC) techniques tailored to the unique verification challenges of synthetic biological system designs. Key outcomes include creating a unified and robust PMC framework, developing an easy-to-use graphical user interface, and integrating the PMC tools with existing genetic design automation software. The project will benchmark the PMC framework on real-world synthetic biology case studies to strengthen the connection between PMC and this rapidly evolving field, making these powerful verification techniques more accessible to practitioners. No subawards are planned under this grant, which runs from Aug 2024 to Jul 2026.
Generated 3/4/25, 4:23 AM