Keyword:symbolic execution

Publications
Symbolic Realisation of Epistemic Processes Rolf Hennicker, Alexander Knapp and Martin Wirsing In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Trace-based Deductive Verification Richard Bubel, Dilian Gurov, Reiner Hähnle and Marco Scaletta In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities Guilhem Lacombe, David Féliot, Etienne Boespflug and Marie-Laure Potet In:Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
A Vulnerability Detection Framework for Hyperledger Fabric Smart Contracts Based on Dynamic and Static Analysis Peiru Li, Shanshan Li, Mengjie Ding, Jiapeng Yu, He Zhang, Xin Zhou and Jingyue Li EasyChair Preprint 8161