Sign in

Embedded Domain Specific Verifiers.

Ranjit Jhala
Published in: Principles of Systems Design (2022)
Keyphrases
  • domain specific
  • general purpose
  • domain independent
  • embedded systems
  • domain experts
  • database
  • data sets
  • search engine
  • website
  • three dimensional
  • multi agent
  • relational databases
  • domain knowledge
  • control software