Automated verification of automata communicating via FIFO and bag buffers.
Lakhdar AkrounGwen SalaünPublished in: Formal Methods Syst. Des. (2018)
Keyphrases
- automated verification
- model checking
- finite state machines
- finite state
- automated reasoning
- formal verification
- bag of words
- temporal logic
- visual features
- tree automata
- finite automata
- communication channels
- production system
- heavy traffic
- lattice gas
- regular expressions
- graph theory
- cellular automata
- multi instance learning
- data flow
- multi instance
- instance level
- single instance
- probabilistic automata
- knowledge representation
- heuristic search
- turing machine
- query language