• Início
  • Prototype Verification System

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/

Categorias:

proof assistantspecification language