you've done some great articles on this topic and my experience aligns with your...

		dionian 5 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream you've done some great articles on this topic and my experience aligns with your view completely.