engleski

The Role of Model-Checking in the Proliferation of E-economy

The proliferation and wide acceptance of e-economy is slowed by the restrained trust in the security and reliability of computer network transactions. The paper describes how formal methods in general, and model checking in particular can greatly increase the confidence and quality of service of network communication protocols. Unlike testing and simulation, formal verification methods cover the entire state space and possible combination of inputs. The state explosion problem is tackled by applying BDD diagrams that can efficiently represent relations (functions) and sets.

formal methods ; formal verification ; model checking

nije evidentirano