Author:
Schlich Bastian,Kowalewski Stefan
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Machine-Code Systems by Translation of Simulable Descriptions;2024 13th Mediterranean Conference on Embedded Computing (MECO);2024-06-11
2. Symbolic object code analysis;International Journal on Software Tools for Technology Transfer;2012-08-04
3. Model checking of software for microcontrollers;ACM Transactions on Embedded Computing Systems;2010-03
4. Model checking C source code for embedded systems;International Journal on Software Tools for Technology Transfer;2009-03-19
5. Proving Correctness of an Efficient Abstraction for Interrupt Handling;Electronic Notes in Theoretical Computer Science;2008-07