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