Gillian: A Multi-Language Platform for Unified Symbolic Analysis

Petar Maksimović,José Fragoso Santos,Sacha-Élie Ayoun,Philippa Gardner

arxiv（2021）

引用 0|浏览1

暂无评分

摘要

This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.

查看译文

关键词

analysis,multi-language

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要