• Home
  • Prototype Verification System

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/

Categories:

proof assistantspecification language