Formal Verification of a Simple Automated Negotiation Protocol.

George Dimitoglou Okan Duzyol Lawrence Owusu

Published in: Software Engineering Research and Practice (2006)

Keyphrases

formal verification
negotiation protocol
model checking
automated verification
model checker
cooperative
bounded model checking
multi agent systems
multi dimensional
electronic commerce
information exchange
symbolic model checking