Login / Signup

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.

Teng ZhangJohn WiegleyTheophilos GiannakopoulosGregory EakmanClément Pit-ClaudelInsup LeeOleg Sokolsky
Published in: SETTA (2018)
Keyphrases
  • database
  • neural network
  • implementation details
  • real world
  • computational complexity
  • general purpose