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

page 1

page 2

page 3

page 4

research
01/14/2020

Gillian: Compositional Symbolic Execution for All

We present Gillian, a language-independent framework for the development...
research
03/18/2016

Symbolic Tensor Calculus -- Functional and Dynamic Approach

In this paper, we briefly discuss the dynamic and functional approach to...
research
05/05/2023

Exploring Softly Masked Language Modelling for Controllable Symbolic Music Generation

This document presents some early explorations of applying Softly Masked...
research
12/16/2020

Using Meta-Knowledge Mined from Identifiers to Improve Intent Recognition in Neuro-Symbolic Algorithms

In this paper we explore the use of meta-knowledge embedded in intent id...
research
03/03/2022

Evolving symbolic density functionals

Systematic development of accurate density functionals has been a decade...
research
07/20/2022

PFMC: a parallel symbolic model checker for security protocol verification

We present an investigation into the design and implementation of a para...
research
06/10/2020

Retrofitting Symbolic Holes to LLVM IR

Symbolic holes are one of the fundamental building blocks of solver-aide...

Please sign up or login with your details

Forgot password? Click here to reset