Graph state properties and applications in the stabilizer formalism