/** A channel for exchanging messages between model-checker and model-checked
*
- * This hides the way the messages are transfered. Currently, they are sent
+ * This hides the way the messages are transferred. Currently, they are sent
* over a SOCK_DGRAM socket.
*/
class Channel {