Niche Modeling

Static Analysis of Species Models

Home
Publications
Documentation
Software
Blog

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.

Recent Activities


Team


Faculty

Students

Research Staff

Subcontractors

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)