[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