Have you considered incorporating formal modelling?
Like:
[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/
Have you considered incorporating formal modelling?
Like:
[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/
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.