Ivy: safety verification by interactive generalization.
Oded PadonKenneth L. McMillanAurojit PandaMooly SagivSharon ShohamPublished in: PLDI (2016)
Keyphrases
- model checking
- virtual reality
- computer graphics
- artificial intelligence
- signature verification
- formal analysis
- user interaction
- neural network
- artificial neural networks
- united states
- case study
- user friendly
- computer vision
- information visualization
- graphical interface
- interactive systems
- interactive video
- concurrent systems
- safety analysis