Niche Modeling

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.