Have you considered incorporating formal modelling? Like: [0] https://csci1710.g... | Hacker News

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

sn9 3 months ago | parent | context | favorite | on: Redis array: short story of a long development pro...

Have you considered incorporating formal modelling?

Like:

[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/

[1] https://elliotswart.github.io/pragmaticformalmodeling/

[2] https://quint.sh/

pbowyer 3 months ago [–]

Only at the "hmm that seems an interesting idea" level.

Thanks for the links, going to have a read and see if I can apply any to my work.

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