Agent Technology from a Formal Perspective

Provides an in-depth look at formal methods research as it applies to agent-based systems Gives an in-depth look at formal method tools that are being applied to agent-based systems Provides an overview of agent technology and formal methods (most books only do one or the other) Provides sample formal specifications and analysis of agent-based systems Contributing authors are from the USA, UK, Europe and Canada, as well as from industry, Government and universities: a range of views on the subject matter is represented Includes supplementary material: sn. pub/extras