Integrating WS1S with PVS.

Sam Owre Harald Rueß

Published in: CAV (2000)

Keyphrases

service oriented
theorem proving
databases
formal verification
database
business process
real time
information retrieval
artificial intelligence
social networks
case study
multi agent systems
conceptual model