Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine
(2024)
Presentation / Conference Contribution
Compiler design plays an important role in ensuring that the translation of the programs written in high-level language into executable code is correct. However, in todays’ safety-critical environments, security gaps, visible and hidden defects in co... Read More about Assuring correctness, testing, and verification of x-compiler by integrating communicating stream x-machine.