Video: More about the Decoding Formal Club and footage from recent events

“Decoding Formal” Club Forum for Formal Enthusiasts
The “Decoding Formal” Club is a forum for formal analysis enthusiasts, pioneers, leaders and friends who work to promote the sharing of ideas, advance of formal verification technology, and adoption of formal sign-off within the industry.

See here for video and the agenda from past Decoding Formal Club talks.

More about the first meeting of the Oski Decoding Formal Club.

Decoding Formal Club is for the sharing of ideas, advance of formal technology, and adoption of formal sign-off within the industry.