Login / Signup
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications.
Chenglong Wang
Rudy Bunel
Krishnamurthy Dvijotham
Po-Sen Huang
Edward Grefenstette
Pushmeet Kohli
Published in:
CoRR (2019)
Keyphrases
</>
formal verification
concurrent systems
model checking
automated verification
neural network
case study
asynchronous circuits
bounded model checking
real time
databases
computational complexity
evaluation method
evaluation methods
evaluation process