Formalization and Automated Verification of RESTful Behavior.

Uri Klein Kedar S. Namjoshi

Published in: CAV (2011)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
knowledge representation
real time
web services
machine learning
case study
human behavior
theorem proving
behavior analysis
behavior patterns