Using Symbolic States to Infer Numerical Invariants.

ThanhVu Nguyen KimHao Nguyen Matthew B. Dwyer

Published in: IEEE Trans. Software Eng. (2022)

Keyphrases

symbolic data
state transition
sensitivity analysis
neural network
symbolic representation
numerical data
finite state machines
numerical methods
moment invariants
numerical analysis
state transitions
partial knowledge
symbolic description
imperative programs