Beyond static and dynamic chekcs Quick protocol for validating well established models i.e. microcircuit, MAM, HPC benchmark