Software Verification
Software Verification is a scholarly work by Peter Z. Revesz, published in 2009. The main subjects of the publication include reliability engineering, programming language, model-driven engineering, test automation, computer science, software engineering, software, and software verification. This chapter shows that constraint databases can be useful for software verification.