A Synthesized Framework for Formal Verification of Computing Systems

A Synthesized Framework for Formal Verification of Computing Systems

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 betwe...

Full description

Bibliographic Details
Main Authors: Nikola Bogunovic, Igor Grudenic, Edgar Pek
Format: Article
Language:English
Published: International Institute of Informatics and Cybernetics 2003-12-01
Series:Journal of Systemics, Cybernetics and Informatics
Subjects:
Formal methods
System modeling
System engineering
System verification
Online Access:http://www.iiisci.org/Journal/CV$/sci/pdfs/P976436.pdf

Internet

http://www.iiisci.org/Journal/CV$/sci/pdfs/P976436.pdf

Similar Items