30 Dec '16, 10pm

Part 3: Formal Verification Program Leader: Finishing Well and Learning from the Experience

In this 3-part blog, I’ve been examining the emerging role of the Formal Verification (FV) Program Leader, an individual who plays a critical part in adoption of FV as part of an organization’s verification strategy, and its deployment on real projects. The FV Program Leader’s importance and value stems not from him or her being an expert in FV technology, techniques or tools, nor from being the direct manager of the FV engineers in the organization, although he or she may also be one or both of these things in addition to being the FV Program Leader. Rather, it comes from the FV Program Leader being an advocate, evangelist, facilitator and coordinator for the organization’s efforts to understand, adopt and utilize formal verification.

Full article: http://www10.edacafe.com/blogs/oski/2016/12/29/part-3-for...

Tweets

If you missed my last post of 2016 about ExPusherLite, check it out

If you missed my last post of 2016 about ExPush...

akitaonrails.com 30 Dec '16, 7pm

It's been over a year since I wrote the 2 pieces about my "Ex Pusher Lite" concept. The code from a year ago is already ob...

[email protected] is hiring – do you have what it takes ...

edf.org 03 Jan '17, 6pm

EDF pioneered the NGO-corporate partnership model, and over the past twenty-five years has worked with leading companies s...

Testing the limits of Indonesia's tax amnesty program - East Asia Forum

Testing the limits of Indonesia's tax amnesty p...

eastasiaforum.org 31 Dec '16, 7am

Indonesia’s tax amnesty program has exceeded expectations. Many observers were skeptical that the Ministry of Finance’s ta...

Coffee quality is in the hands of the barista.....

baristamagazine.com 01 Jan '17, 10pm

Think about it: if the barista you’re instructing has a second job or a small child at home that they need to take care of...