For whatever it's worth, assert statements were also heavily used in embedded digital TV software. The philosophy is that things either work or they don't. With

For whatever it's worth, assert statements were also heavily used in embedded digital TV software. The philosophy is that things either work or they don't. With enough QA and field testing, those asserts will show up if state goes awry.