Academic Journals Database
Disseminating quality controlled scientific knowledge

A Synthesized Framework for Formal Verification of Computing Systems

Author(s): Nikola Bogunovic | Igor Grudenic | Edgar Pek

Journal: Journal of Systemics, Cybernetics and Informatics
ISSN 1690-4532

Volume: 1;
Issue: 6;
Start page: 18;
Date: 2003;
Original page

Keywords: Formal methods | System modeling | System engineering | System verification

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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions