Having read a little about TLA+ recently, I'm curious about how specifications a... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		skybrian on June 20, 2017 \| parent \| context \| favorite \| on: Julia Computing Raises $4.6M in Seed Funding Having read a little about TLA+ recently, I'm curious about how specifications are written in Julia. (For example, is there model-checking involved?)

simonbyrne on June 20, 2017 [–]

There was a talk at JuliaCon 2015: https://www.youtube.com/watch?v=19zm1Fn0S9M

Slides here: http://juliacon.org/2015/images/juliacon2015_moss_v3.pdf

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact