Welcome to the Austin Formal Methods User Group! We meet monthly to discuss theorem provers, verification, and advanced tools for building reliable software systems.
Welcome to the Austin Formal Methods User Group! We meet monthly to discuss theorem provers, verification, and advanced tools for building reliable software systems.