I am aware of some work that involves modelling external devices to achieve veri... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

rainforest on Dec 13, 2016 | parent | context | favorite | on: Verifying Software with Timers and Clocks

I am aware of some work that involves modelling external devices to achieve verification with SAL or HOL: http://staffwww.dcs.shef.ac.uk/people/R.Taylor/Spurinna/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact