Working version of client server model checking and serving