In this talk I will describe how to build Multi-Agent Systems from
Web Services and Agent Protocols. I will then show how we can apply
Model Checking to these systems. This will allow us to detect potential
problems before deployment. I will also give a brief demo of my
'MagentA' tool for constructing and verifying such systems. This talk
is a rehearsal for my AAAI Semantic Web Services Symposium
presentation.