Login / Signup
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