Randomized Refinement Checking of Timed I/O Automata.
Andrej KivirigaKim Guldstrand LarsenUlrik NymanPublished in: SETTA (2020)
Keyphrases
- timed automata
- finite state machines
- model checking
- input output
- petri net
- file system
- finite state
- information retrieval
- theorem prover
- probabilistic automata
- tree automata
- regular expressions
- first order logic
- discrete event
- verification method
- database
- main memory
- data transfer
- finite automata
- cellular automata
- step wise
- markov chain
- decision trees
- privacy preserving association rule mining