3 ms·
Check out Rodin and Event-B for some inspiration. http://www.event-b.org http://www.event-b.org https://en.wikipedia.org/wiki/Rodin_tool https://en.wikipedia.
by mbrock 7y ago
Check out Rodin and Event-B for some inspiration.
http://www.event-b.org http://www.event-b.org
https://en.wikipedia.org/wiki/Rodin_tool https://en.wikipedia.org/wiki/Rodin_tool
Here the inventor demonstrates making a simple bank account simulator with the stepwise refinement approach:
https://www.youtube.com/watch?v=fSWZWXx5ixc https://www.youtube.com/watch?v=fSWZWXx5ixc
- pezo1919 7y agoThank you! Seems interesting! Will check out.