search

viperproject / sample

Other
0 stars 0 forks source link

alias analysis + numerical domain #60

Open viper-admin opened 8 years ago

viper-admin commented 8 years ago

Created by bitbucket user caterinaurban on 2016-07-04 21:57

Integrate the numerical domains with the alias analysis and generate numerical invariants for Silver programs.