Mikhail Chupilko, 08/05/2011 12:51 PM
h1. Verification
Checking correspondance between specification and concrete its implementation.