validation

Functions for model verification and compliance checking.