Verification of Parameterized Communicating Automata via Split-Width.
Marie FortinPaul GastinPublished in: FoSSaCS (2016)
Keyphrases
- model checking
- cellular automata
- search engine
- finite automata
- formal verification
- finite state
- face verification
- lattice gas
- neural network
- concurrent systems
- formal analysis
- finite state machines
- timed automata
- asynchronous circuits
- fingerprint verification
- communication channels
- real time
- regular expressions
- bayesian networks
- image sequences
- clustering algorithm
- genetic algorithm
- real world
- databases