Embedded software verification and debugging

• Other Authors: Lettnin, Djones (Editor), Winterholer, Markus (Editor)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer, 2017.
• Series: Embedded systems (Springer (Firm))
• Subjects: vestavěné systémy; software; počítačové programy; ladění softwaru; formální verifikace; embedded systems; computer program; software debugging; formal verification; elektronické knihy; sborníky; electronic books; papers of several authors

This book provides comprehensive coverage of verification and debugging techniques for the embedded software frequently used in safety-critical applications (e.g., automotive), where failures are unacceptable. It also discusses emerging trends and techniques.- Resumé vydavatel