add image to quick start

add model checker image