Making PVS Accessible to Generic Services by Interpretation in a Universal Format.
Michael KohlhaseDennis MüllerSam OwreFlorian RabePublished in: ITP (2017)
Keyphrases
- service oriented
- web services
- information services
- high level
- domain specific
- context aware
- ubiquitous computing
- databases
- multimedia
- theorem proving
- metadata
- information society
- service discovery
- end users
- mobile applications
- user centric
- service delivery
- network services
- service quality
- theorem prover
- building blocks
- image interpretation
- government services
- semantic interpretation
- database systems