On Verifying Designs With Incomplete Specification.

Eugene Goldberg

Published in: CoRR (2020)

Keyphrases

high level
model checking
formal specification
noisy data
neural network
missing data
incomplete data
formal verification
real time
databases
feature selection
expert systems
specification language
code generation
reactive systems
ims qti