Online meeting: Verification of specifications