I kinda wanna get into formal verification of software, but I have no idea where to start and I'm definitely not good enough at anything involved with it.

Sign in to participate in the conversation

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !