scarletouyang的博客

数据收发，一个接收方，一个发送方，接收方收到发送方消息后，打印发送的消息及发送方地址和端口号，之后向发送方反馈信息“收到了”；发送方打印出接收方反馈的消息。 1.本程序由3个java文件组成，DataChat.java（多线程管理程序），DataReceiver.java（接收方程序），DataSender.java（发送方程序），运行时只需运行DataChat.java即可。 2.本程序分别创建了发送方及接收方窗口，测试时只需在“发送方发送消息：”一栏输入文字，点击send即可发送。发送次数无限制。接收方将实时返回要求信息。 3.测试完成后，点击任一窗口的close按键均可直接退出程序。 4.完整实现过程已在源代码中详细注释

基于形式化验证工具ProVerif的区块链投票协议形式化验证，方便初学者复现从而理解形式化验证在智能合约领域的应用