Models for Testing and Verification

Models to Download

• class_07.zip , which contains all the models for today’s class.

Individual Models

• primitives-example model https://ees4760.jmgilligan.org/models/class_07/primitives-example.nlogox
• modified-flockingo model https://ees4760.jmgilligan.org/models/class_07/modified-flocking.nlogox
• flocking_PE model https://ees4760.jmgilligan.org/models/class_07/flocking_PE.nlogox
• Explore-headings-output.csv https://ees4760.jmgilligan.org/models/class_07/Explore-headings-output.csv
• butterflies model https://ees4760.jmgilligan.org/models/class_07/butterfly-model/butterflies.nlogox
• butterflies-PM model https://ees4760.jmgilligan.org/models/class_07/butterfly-model/butterflies-PM.nlogox
• butterflies-tif model https://ees4760.jmgilligan.org/models/class_07/butterfly-model/butterflies-tif.nlogox
• pm.nls https://ees4760.jmgilligan.org/models/class_07/butterfly-model/pm.nls
• tif.nls https://ees4760.jmgilligan.org/models/class_07/butterfly-model/tif.nls
• ElevationData.txt https://ees4760.jmgilligan.org/models/class_07/butterfly-model/ElevationData.txt
• PM-output.csv https://ees4760.jmgilligan.org/models/class_07/butterfly-model/PM-output.csv