Verification of Component-based Systems with Recursive Architectures.

Marius Bozga Radu Iosif Joseph Sifakis

Published in: CoRR (2021)

Keyphrases

management system
distributed systems
formal verification
neural network
search algorithm
computing systems
real time systems
information systems
decision making
case study
logic programs
intelligent systems
computer systems
complex systems
retrieval systems
formal methods