Topic: safety critical systems
Topic: type-safe and secure languages
Topic: parallel programming languages
Topic: synchronized processing
Group: program proving
| |
Quotation Skeleton
Today, synchronous languages have been established as a … These systems are typically safety critical, such as … The primary goal of a designer of safety-critical … its implementation is correct.
Google-1
Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: designers of safety-critical systems must convince themselves, the customer, and certification authorities that the design and implementation are correct
|
Related Topics
Topic: safety critical systems (32 items)
Topic: type-safe and secure languages (42 items)
Topic: parallel programming languages (14 items)
Topic: synchronized processing (35 items)
Group: program proving (10 topics, 310 quotes)
|