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