Author:
Hentschel Martin,Käsdorf Stefan,Hähnle Reiner,Bubel Richard
Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools;Lecture Notes in Computer Science;2019
2. Formalization Integrated Development Environments;ACM SIGSOFT Software Engineering Notes;2018-12-07
3. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more;International Journal on Software Tools for Technology Transfer;2018-03-03
4. Formalization IDEs Integrated with a Verifying Compiler;Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems;2017-06-19
5. The interactive verification debugger: effective understanding of interactive proof attempts;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25