[SystemSafety] A new blog on big-system verification

Yoav Hollander yoav.hollander at gmail.com
Wed Jul 15 13:52:21 CEST 2015


Hi folks

I have started a new blog on big-system verification (including safety),
with an emphasis on trying to adapt techniques from hardware verification
to that area:

http://blog.foretellix.com/

Most of the people who commented so far are hardware verification
old-timers like myself, so I thought your perspective (i.e. that of readers
of the System Safety mailing list) would be very helpful.

Cheers
Yoav Hollander
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150715/79c38b6a/attachment.html>


More information about the systemsafety mailing list