Login / Signup
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems.
Qiang Wang
Published in:
SETTA (2016)
Keyphrases
</>
management system
formal methods
data structure
automated verification
expert systems
distributed systems
computationally efficient
learning systems
computing systems
asynchronous circuits
intelligent systems
computer systems
building blocks
model checking