This is a blog by Oski Technology, a space dedicated to formal verification and methodology, driven by an in the trenches perspective and based on years of full-time experience with the application of formal verification.

It’s also a place for conversation about how the role of formal is changing in the industry. Your comments are welcome.