Login / Signup
Structural Invariants for the Verification of Systems with Parameterized Architectures.
Marius Bozga
Javier Esparza
Radu Iosif
Joseph Sifakis
Christoph Welzel
Published in:
CoRR (2020)
Keyphrases
</>
distributed systems
computer systems
complex systems
computing systems
embedded systems
data sets
website
multiscale
source code
intelligent systems
building blocks
structural information
formal verification