Login / Signup
Compositional Verification for Timed Systems Based on Automatic Invariant Generation.
Souha Ben Rayana
Lacramioara Astefanoaei
Saddek Bensalem
Marius Bozga
Jacques Combaz
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
information retrieval systems
computer systems
neural network
genetic algorithm
learning algorithm
learning environment
multi agent systems
distributed systems
learning systems
semi automatic
retrieval systems
formal methods