Login / Signup

VeriPhy: verified controller executables from verified cyber-physical system models.

Brandon BohrerYong Kiam TanStefan MitschMagnus O. MyreenAndré Platzer
Published in: PLDI (2018)
Keyphrases
  • real time
  • social networks
  • control system
  • source code
  • software systems