EUNO.NEWS EUNO.NEWS
  • All (20286) +125
  • AI (3097) +8
  • DevOps (909) +5
  • Software (10479) +94
  • IT (5755) +18
  • Education (45)
  • Notice (1)
  • All (20286) +125
    • AI (3097) +8
    • DevOps (909) +5
    • Software (10479) +94
    • IT (5755) +18
    • Education (45)
  • Notice (1)
  • All (20286) +125
  • AI (3097) +8
  • DevOps (909) +5
  • Software (10479) +94
  • IT (5755) +18
  • Education (45)
  • Notice (1)
Sources Tags Search
한국어 English 中文
  • 2주 전 · software

    TLA를 이용한 Liveness 증명

    번역할 텍스트를 제공해 주시겠어요? 해당 내용이 있어야 한국어로 번역해 드릴 수 있습니다.

    #TLA+ #formal verification #liveness properties #temporal logic #model checking #concurrency #specification
  • 1개월 전 · software

    TLA+ 모델링 팁

    모델을 최소화하십시오. 작은 핵심에서 시작하고 확장할 때마다 항상 작동하는 모델을 유지하십시오. 기본값은 생략이어야 합니다. 구성 요소는 필요할 때만 추가하십시오. Add a component only when you ca...

    #TLA+ #formal verification #model checking #specification #abstraction #software modeling
  • 1개월 전 · software

    CSS는 제약 시스템이어야 할까요?

    CSS는 어렵다. 레이아웃 규칙은 꽤 복잡하고 예시만으로는 익히기 힘들다. “centering a …” 같은 경우는 유명한 문제다. 혹은 기억하라…

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