[SystemSafety] A new blog on big-system verification

From: Yoav Hollander < >
Date: Wed, 15 Jul 2015 14:52:21 +0300

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:


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.

Yoav Hollander

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Jul 15 2015 - 14:39:54 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:07 CEST