Login / Signup

Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners.

Daniel RatiuAndreas Ulrich
Published in: SPIN (2017)
Keyphrases
  • model driven
  • definition language
  • source code
  • real world
  • data driven
  • databases
  • case study
  • data model
  • metamodel
  • data mining
  • relational databases
  • object oriented
  • database applications