Verification amounts to establishing that a system satisfies a specification given for it. The previous subsections described different approaches to specifying concurrent systems; this one gives an overview of techniques of establishing that systems meet such specifications.