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

Autori
Bogunović, Nikola

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Computers in Technical Systems and Intelligent Systems / Budin, Leo ; Ribarić, Slobodan ; Crnković, Ivica - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2001, 10-13

Skup
MIPRO 2001, XXIV. International Convention

Mjesto i datum
Opatija, Hrvatska, 21.05.2001. - 25.05.2001

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
formal methods ; formal verification ; model checking

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA