Login / Signup

Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing.

Sören TempelVladimir HerdtRolf Drechsler
Published in: DAC (2021)
Keyphrases
  • embedded software
  • embedded systems
  • development projects
  • software architecture
  • spatial data
  • spatial information
  • data model
  • real time
  • artificial intelligence