3 ms·
Have you considered incorporating formal modelling? Like: [0] https://csci1710.github.io/2026/ https://csci1710.github.io/2026/ and https://forge-fm.github.io
by sn9 5mo ago
Have you considered incorporating formal modelling?
Like:
[0] https://csci1710.github.io/2026/ https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/ https://forge-fm.github.io/book/2026/
[1] https://elliotswart.github.io/pragmaticformalmodeling/ https://elliotswart.github.io/pragmaticformalmodeling/
[2] https://quint.sh/ https://quint.sh/
- pbowyer 5mo agoOnly 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.