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

Full beskrivning

Bibliografiska uppgifter

I publikationen:	Software engineering notes. 26, 5 (2001).
Huvudupphovsman:	Coen-Porisini, Alberto
Materialtyp:	Artikel
Språk:	English
Ämnen:	Software. Software engineering. Software / Program Verification. Formal methods. Reliability. Programming languages. Language classifications. C. Languages. Verification. Safety-critical system. Symbolic execution.