作者：羅勝金版權(quán)聲明：歡迎轉(zhuǎn)載，請(qǐng)注明原作者 1. 前言 下文將總結(jié)我的TLA+技術(shù)學(xué)習(xí)心得，分為道（理論）、法（方法）、術(shù)（技術(shù)）、器（工具）、用（案例）五個(gè)主要部分。 2...
發(fā)簡(jiǎn)信
IP屬地：浙江
-
如何用數(shù)學(xué)驗(yàn)證軟件的正確性——TLA+學(xué)習(xí)總結(jié)