Embedded Domain Specific Verifiers.

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