The Niche Modeling project is about using model checking to verify properties of species niche models. We are using the SAL model checker to define and analyze models of species movement and interaction with their environment. Using static analysis we are checking for extinction and liveness paths resulting from resource consumption an reproduction.
The System-Level Design Group is a part of The Information and Telecommunication Technology Center at The University of Kansas.
Niche Modeling is supported by KU Initiative for Maximizing Student Diversity (IMSD)