Abstract: The verification of safety-critical software systems has many challenges, such as the complex language constructs in embedded software. This paper addresses the verification problem of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results