Pregled bibliografske jedinice broj: 149179
Parallel approaches to BDD manipulation
Parallel approaches to BDD manipulation // MIPRO 2004 Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems / Budin, Leo ; Ribarić, Slobodan (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2004. str. 54-58 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 149179 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Parallel approaches to BDD manipulation
Autori
Grudenić, Igor ; Bogunović, Nikola
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
MIPRO 2004 Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems
/ Budin, Leo ; Ribarić, Slobodan - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2004, 54-58
Skup
MIPRO 2004, XXVII International Convention
Mjesto i datum
Opatija, Hrvatska, 24.05.2004. - 28.05.2004
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
BDD ; formal methods ; symbolic model checking ; parallel algorithms ; formal verification
Sažetak
Symbolic model checking is an automatic method for system verification in which the system is given as a Binary Decision Diagram (BDD) encoded finite state machine. BDD is a common data structure for representation of mathematical objects. The main issue in symbolic model checking is a state explosion problem that restricts the verification domain. In this paper we present possibilities for the parallelization of BDD manipulation algorithms in order to enable verification of complex systems. We also demonstrate results of our parallel algorithm for computing BDD operations.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Institut "Ruđer Bošković", Zagreb
