computional model and verification