This talk covers a class of programming tools called model checkers - I wasn’t aware that this class of software even existed, seems like it could be very usefulm.youtube.com #
This talk covers a class of programming tools called model checkers - I wasn’t aware that this class of software even existed, seems like it could be very usefulm.youtube.com #
If you like or find value in my writings, please make a donation. Several easy options & you choose the amount. Check out the donation page.
For enquiries about my consulting, development, training and writing services, aswell as sponsorship opportunities contact me directly via email. More details about me here.