EUNO.NEWS EUNO.NEWS
  • All (10584) +186
  • AI (1803) +18
  • DevOps (530) +6
  • Software (5201) +125
  • IT (3024) +37
  • Education (26)
  • Notice
  • All (10584) +186
    • AI (1803) +18
    • DevOps (530) +6
    • Software (5201) +125
    • IT (3024) +37
    • Education (26)
  • Notice
  • All (10584) +186
  • AI (1803) +18
  • DevOps (530) +6
  • Software (5201) +125
  • IT (3024) +37
  • Education (26)
  • Notice
Sources Tags Search
한국어 English 中文
  • 1周前 · software

    TLA+ 建模技巧

    极简建模:从一个小核心开始,并在扩展时始终保持一个可运行的模型。默认应采用省略原则。仅在需要时才添加组件……

    #TLA+ #formal verification #model checking #specification #abstraction #software modeling
EUNO.NEWS
RSS GitHub © 2025