News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by gsnedders on Sunday April 20, 2014 @10:26PM (#7619435)
Certainly — it's just another parallel system. This is something things like CSP (Communicating Sequential Processes) — and see FDR2/FDR3 for programmatic verification — excel at.
[ Parent | on HN ]

There are no comments on this comment yet.