Login / Signup

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