Abstract
The notion of contracts play an important role since the beginning of humankind. Technological advances and the globalization have increased the use of contracts in electronic transactions. Therefore, verification of contracts has become extremely important to guarantee properties and agreements. Some formalisms are used as the basis to represent electronic contracts such as deontic and dynamic logics. Formal models and computational support allow to attain more precise results on checking electronic contracts. This work proposes an approach to represent appropriately multi-party contracts by means of suitable formalisms and also to automatically verify properties in contracts of this nature.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
