Verifying Programs Under Custom Application-Specific Execution Models.

Brett Boston Zoe Gong Michael Carbin

Published in: CoRR (2018)

Keyphrases

application specific
general purpose
dynamic reconfiguration
computation intensive
domain knowledge
probabilistic model
high bandwidth
program execution
cad cam