Symbolic model verification