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