Login / Signup

Integration verification across software and hardware for a simple embedded system.

Andres ErbsenSamuel GruetterJoonwon ChoiClark WoodAdam Chlipala
Published in: PLDI (2021)
Keyphrases
  • information integration
  • website
  • multiscale
  • multi agent
  • face detection
  • data integration
  • model checking
  • data sets
  • databases
  • image processing
  • three dimensional
  • special case
  • mobile robot
  • highly reliable