This folder contains examples of modeling and verifying accuracy. 
Running "make" will execute the verification of all CIVL models in this folder.