<p>Is there a simple Model Checker tool. I am planning to implement a model checker tool which will analyze the code for some of the predefined properties.</p>

CBMC
is one simple-ish tool I'm aware of that actually operates on code.  Model checking in general is a heavily-researched field, but as folks have already commented, this breadth makes it difficult to suggest something with the info provided.  There are thousands of SAT solvers, formal tools for HDL/state machine verification, and plenty of commercial static source analyzers.
In any case, CBMC is a good tool, but don't take my word for it; Ed Clarke, the main faculty member behind this work, won the Turing Award this year ;-)