Compositional Verification of Parameterised Timed Systems.
Lacramioara AstefanoaeiSouha Ben RayanaSaddek BensalemMarius BozgaJacques CombazPublished in: NFM (2015)
Keyphrases
- complex systems
- intelligent systems
- distributed systems
- databases
- formal methods
- learning systems
- computer systems
- management system
- information technology
- case study
- machine learning
- data sets
- face recognition
- artificial intelligence
- genetic algorithm
- neural network
- retrieval systems
- model checking
- signature verification
- asynchronous circuits
- verification method