Login / Signup
Numerical Verification of Affine Systems with up to a Billion Dimensions.
Stanley Bak
Hoang-Dung Tran
Taylor T. Johnson
Published in:
CoRR (2018)
Keyphrases
</>
management system
building blocks
real time
distributed systems
computer systems
formal methods
automated verification
metadata
website
model checking
asynchronous circuits