Checking correspondance between specification and concrete its implementation.
Updated by Mikhail Chupilko over 12 years ago ยท 1 revisions