A Fast Verified Liveness Analysis in SSA Form.

Jean-Christophe Léchenet Sandrine Blazy David Pichardie

Published in: IJCAR (2) (2020)

Keyphrases

data sets
statistical analysis
automatic analysis
databases
management system
quantitative analysis
real time
decision making
website
case study
database systems
object recognition