BIS Launches Project to Automate Verification of Regulatory Proofs - Regulation Asia