Translation Validation: From SIGNAL to C
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Incremental Verification by Abstraction
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Enriching the Software Development Process by Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
A Certifying Code Generation Phase
Electronic Notes in Theoretical Computer Science (ENTCS)
Certifying compilers using higher-order theorem provers as certificate checkers
Formal Methods in System Design
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Hi-index | 0.00 |