Species niche modeling using model checking