Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures.

Marius Bozga Radu Iosif Joseph Sifakis

Published in: CoRR (2019)

Keyphrases

management system
linear systems
distributed systems
database
neural network
case study
expert systems
feature points
complex systems
closed form
formal methods
asynchronous circuits
automated verification