Models foundation put down to support verification of applications