Formal Verification of Safety-Critical Systems
Samah Hassan Aly Abd El Maksoud;
Abstract
The increase in design complexity causes verification to become more and more important aspect of the design flow. Formal verification involves using analytical techniques to prove that the implementation of a system conforms to the specification. Safety-
Other data
| Title | Formal Verification of Safety-Critical Systems | Other Titles | التحقق الرسمى لنظم الأمان الحرجة | Authors | Samah Hassan Aly Abd El Maksoud | Keywords | Formal Verification of Safety-Critical Systems | Issue Date | 2011 | Description | The increase in design complexity causes verification to become more and more important aspect of the design flow. Formal verification involves using analytical techniques to prove that the implementation of a system conforms to the specification. Safety- |
Recommend this item
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.