EUNO.NEWS EUNO.NEWS
  • All (20543) +144
  • AI (3117) +9
  • DevOps (914) +5
  • Software (10652) +105
  • IT (5812) +25
  • Education (48)
  • Notice
  • All (20543) +144
    • AI (3117) +9
    • DevOps (914) +5
    • Software (10652) +105
    • IT (5812) +25
    • Education (48)
  • Notice
  • All (20543) +144
  • AI (3117) +9
  • DevOps (914) +5
  • Software (10652) +105
  • IT (5812) +25
  • Education (48)
  • Notice
Sources Tags Search
한국어 English 中文
  • 2周前 · software

    使用 TLA 证明活性

    请提供您希望翻译的具体摘录或摘要文本,我才能为您进行翻译。

    #TLA+ #formal verification #liveness properties #temporal logic #model checking #concurrency #specification
  • 1个月前 · software

    TLA+ 建模技巧

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

    #TLA+ #formal verification #model checking #specification #abstraction #software modeling
  • 1个月前 · software

    CSS 应该是约束系统吗?

    CSS 很难。布局规则相当复杂,仅凭示例很难掌握。像“居中一个 ”这样的问题,众所周知是个难题。或者记住……

    #CSS #layout #constraint system #web design #front‑end development #specification #responsive design
EUNO.NEWS
RSS GitHub © 2026