safety critical systems
type-safe and secure languages
parallel programming languages
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.
Copyright clearance needed for quotation.
|Quote: designers of safety-critical systems must convince themselves, the customer, and certification authorities that the design and implementation are correct
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)