Prototype Verification System

specification language integrated with support tools and an automated theorem prover

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

Kategoriler:

proof assistantspecification language