University of Electronic Science and Technology of China Details Findings in Engineering (A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts)

Source :: Computer Weekly News. May 13, 2020, 1159
Publication Year :: 2020
Abstract: 2020 MAY 13 (VerticalNews) -- By a News Reporter-Staff News Editor at Computer Weekly News -- Research findings on Engineering are discussed in a new report. According to news reporting [...]

Subjects :: Security management -- Reports -- Safety and security measures
Technology
Symbolism
Editors
Virtual machines
Contract agreement
Computers
News, opinion and commentary

Tools