Formal Verification for non-specialists
Is formal verification ready for general use or do you need a PhD to use it? Larger companies continue to recruit formal PhDs into their… Read More »Formal Verification for non-specialists
Duolos
Happy New Year, 2020
Note, this is the tenth year of the present decade, so our next decade starts in 2021. Last week was my annual Merry Christmas gallery.