Devora Chait-Roth

icon location PhD student in formal methods at NYU

Results 1 comments of Devora Chait-Roth

Type safety violation and soundness bug with parameterized domain

Thanks for the explanation! The resulting behavior is certainly a bit strange, but the explanation makes sense. (This might be a nice example to add to the Viper tutorial to...