240 发简信
IP属地:广东
  • 2018-12-23

    --- toc: depth_from: 1 depth_to: 6 ordered: false html: embed_local_images: tru...

  • 120
    如何用数学验证软件的正确性——TLA+学习总结

    作者:罗胜金版权声明:欢迎转载,请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得,分为道(理论)、法(方法)、术(技术)、器(工具)、用(案例)五个主要部分。 2...