为积极响应中国政府监管政策要求，自2021年9月28日起，蜜蜂查block.cc停止为中国大陆用户提供相关服务。蜜蜂查block.cc致力于遵循各国法律法规合法运营，感谢您的支持与理解！
币种: --
交易所: --
总成交额(24h): --
总市值: --
USD

logo logo

首页币种交易所快讯公告资讯
更多
商业API APP
区块链百科

形式化验证

又称建模或软件模拟，是指用数学建模的方法去验证程序或系统是否存在问题，多应用于硬件领域，近年来逐渐引起软件领域的重视。