geeknews_bot @geeknews_bot@sns.lemondouble.com
Public

TLA+ - 프로그램 및 동시/분산 시스템을 모델링하기 위한 고급 언어
------------------------------
- TLA+는 코드 수준이 아닌 상위 수준에서 *소프트웨어를 모델링* 하고, 회로 수준이 아닌 상위 수준에서 *하드웨어를 모델링* 하기 위한 *언어* 임
- 모델을 작성하고 이를 검사할 수 있는 통합 개발 환경(IDE)을 제공
- 엔지니어들이 가장 많이 사용하는 도구는 TLC 모델…
------------------------------
https://news.hada.io/topic?id=19971&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

TLA+ - 프로그램 및 동시/분산 시스템을 모델링하기 위한 고급 언어 | GeekNews

TLA+는 코드 수준이 아닌 상위 수준에서 소프트웨어를 모델링하고, 회로 수준이 아닌 상위 수준에서 하드웨어를 모델링하기 위한 언어임모델을 작성하고 이를 검사할 수 있는 통합 개발 환경(IDE)을 제공엔지니어들이 가장 많이 사용하는 도구는 TLC 모델 검사기이며, 증명 검사기도 제공TLA+는 수학에 기반하며 어떤 프로그래밍 언어와도 유사하지 않음대부분의 엔

news.hada.io · GeekNews

0
0
0

If you have a fediverse account, you can quote this note from your own instance. Search https://sns.lemondouble.com/notes/a5syg797z6 on your instance and quote it. (Note that quoting is not supported in Mastodon.)