C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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