Hi,
Is there something that the language need to support for Co-Verification? I had this query since there are OS sockets that are involved.
Rgds
pitchu