Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 143300

A Synthesized Framework for Formal Verification of Computing Systems


Bogunović, Nikola; Grudenić, Igor; Pek, Edgar
A Synthesized Framework for Formal Verification of Computing Systems // Journal of systemics, cybernetics and informatics, 1 (2003), 6; 18-23 (podatak o recenziji nije dostupan, članak, znanstveni)


CROSBI ID: 143300 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
A Synthesized Framework for Formal Verification of Computing Systems

Autori
Bogunović, Nikola ; Grudenić, Igor ; Pek, Edgar

Izvornik
Journal of systemics, cybernetics and informatics (1690-4524) 1 (2003), 6; 18-23

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Formal methods ; System engineering ; System modeling ; System verification

Sažetak
Design process of computing systems gradually evolved to a level that encompasses formal verification techniques. However, the integration of formal verification techniques into a methodical design procedure has many inherent miscomprehensions and problems. The paper explicates the discrepancy between the real system implementation and the abstracted model that is actually used in the formal verification procedure. Particular attention is paid to the seamless integration of all phases of the verification procedure that encompasses definition of the specification language and denotation and execution of conformance relation between the abstracted model and its intended behavior. The concealed obstacles are exposed, computationally expensive steps identified and possible improvements proposed.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Projekti:
0098023

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Institut "Ruđer Bošković", Zagreb

Profili:

Avatar Url Edgar Pek (autor)

Avatar Url Igor Grudenić (autor)

Avatar Url Nikola Bogunović (autor)

Citiraj ovu publikaciju

Bogunović, Nikola; Grudenić, Igor; Pek, Edgar
A Synthesized Framework for Formal Verification of Computing Systems // Journal of systemics, cybernetics and informatics, 1 (2003), 6; 18-23 (podatak o recenziji nije dostupan, članak, znanstveni)
Bogunović, N., Grudenić, I. & Pek, E. (2003) A Synthesized Framework for Formal Verification of Computing Systems. Journal of systemics, cybernetics and informatics, 1 (6), 18-23.
@article{article, year = {2003}, pages = {18-23}, keywords = {Formal methods, System engineering, System modeling, System verification}, journal = {Journal of systemics, cybernetics and informatics}, volume = {1}, number = {6}, issn = {1690-4524}, title = {A Synthesized Framework for Formal Verification of Computing Systems}, keyword = {Formal methods, System engineering, System modeling, System verification} }
@article{article, year = {2003}, pages = {18-23}, keywords = {Formal methods, System engineering, System modeling, System verification}, journal = {Journal of systemics, cybernetics and informatics}, volume = {1}, number = {6}, issn = {1690-4524}, title = {A Synthesized Framework for Formal Verification of Computing Systems}, keyword = {Formal methods, System engineering, System modeling, System verification} }




Contrast
Increase Font
Decrease Font
Dyslexic Font