Using symbolic execution for verifying safety-critical systems.

Safety critical systems require to be highly reliable and thus special care is taken when verifying them in order to increase the confidence in their behavior. This paper addresses the problem of formal verification of safety critical systems by providing empirical evidence of the practical applicab...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 26, 5 (2001).
Tác giả chính:	Coen-Porisini, Alberto
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Software. Software engineering. Software / Program Verification. Formal methods. Reliability. Programming languages. Language classifications. C. Languages. Verification. Safety-critical system. Symbolic execution.