Towards Verification as a Service.

Ina Schaefer Thomas Sauer

Published in: EternalS@FET (2011)

Keyphrases

service providers
model checking
service oriented
protocol specification
web services
asynchronous circuits
artificial intelligence
service discovery
formal methods
mobile devices
end users
management system
case study
mobile services
value added services
service platform
verification method
data sets