Login / Signup

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai LiuShmuel S. TyszberowiczMihai HerdaBernhard BeckertDaniel GrahlMana Taghdiri
Published in: SETTA (2016)
Keyphrases
  • high level
  • formal specification
  • neural network
  • genetic algorithm
  • image segmentation
  • three dimensional
  • database management systems
  • formal methods
  • specification language
  • data independence