Prototype Verification System

specification language integrated with support tools and an automated theorem prover

en-US/ˈpɹoʊtoʊˌtaɪp ˌvɛɹifɪˈkeɪʃən ˈsɪstəm/
en-GB/ˈpɹəʊtətaɪp ˌvɛɹɪfɪˈkeɪʃən ˈsɪstəm/

ক্যাটাগরি:

proof assistantspecification language