Do you have links? I'm aware of TLA+ and (Jay Misra's) Unity (https://en.wikiped... | Hacker News

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

		mcguire on Aug 19, 2017 \| parent \| context \| favorite \| on: “What next?” Do you have links? I'm aware of TLA+ and (Jay Misra's) Unity (https://en.wikipedia.org/wiki/UNITY_(programming_language)), but I haven't seen any other uses of temporal logics. (The lengths people will go to in order to get away from box and diamond...)

pron on Aug 19, 2017 [–]

Take a look at Esterel[1], and its current incarnation, SCADE[2], which is used for avionics.

[1]: https://en.wikipedia.org/wiki/Esterel

[2]: http://www.esterel-technologies.com/products/scade-suite/

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