Login / Signup

A Broader View on Verification: From Static to Runtime and Back (Track Summary).

Wolfgang AhrendtMarieke HuismanGiles RegerKristin Yvonne Rozier
Published in: ISoLA (2) (2018)
Keyphrases
  • model checking
  • multiple views
  • databases
  • neural network
  • database
  • real world
  • information retrieval
  • genetic algorithm
  • relational databases
  • formal analysis