Gillian: A Multi-Language Platform for Unified Symbolic Analysis

05/31/2021
by   Petar Maksimović, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset