darbaria Goto Github PK
Name: Dr Ashish Darbari
Type: User
Company: Axiomise Limited
Bio: Founder & CEO, Axiomise. We love formal verification and love helping other engineers get the best out of formal through a combination of training & consulting.
Blog: www.axiomise.com