Hacker News
- Verifying Software with Timers and Clocks https://insights.sei.cmu.edu/sei_blog/2016/12/verifying-software-with-timers-and-clocks-stacs.html 6 comments
Linked pages
- Frama-C - Framework for Modular Analysis of C programs https://frama-c.com/ 56 comments
- Hoare logic - Wikipedia https://en.wikipedia.org/wiki/Hoare_logic 14 comments
- Year 2000 problem - Wikipedia https://en.wikipedia.org/wiki/Year_2000_problem 11 comments
- Spaghetti code - Wikipedia http://en.wikipedia.org/wiki/Spaghetti_code 4 comments
- Robert W. Floyd - Wikipedia http://en.wikipedia.org/wiki/Robert_W._Floyd 2 comments
- Tony Hoare - Wikipedia http://en.wikipedia.org/wiki/Tony_Hoare#Quotations 0 comments
- The Linux Kernel Module Programming Guide http://www.tldp.org/LDP/lkmpg/2.6/html/index.html 0 comments
Related searches:
Search whole site: site:insights.sei.cmu.edu
Search title: Verifying Software with Timers and Clocks (STACs)
See how to search.