• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.

Philipp BergerJoost-Pieter KatoenErika ÁbrahámMd Tawhid Bin WaezThomas Rambow
Published in: FM (2018)
Keyphrases
  • domain specific
  • control system
  • randomly selected
  • domain independent
  • source code
  • fault detection
  • automatically generated
  • code generation