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