implikasi dari kemampuan memverifikasi perangkat lunak secara resmi secara mandiri hampir tidak terbayangkan