Comparator Automata in Quantitative Verification.
Suguman BansalSwarat ChaudhuriMoshe Y. VardiPublished in: FoSSaCS (2018)
Keyphrases
- model checking
- finite state
- cellular automata
- probabilistic automata
- quantitative and qualitative
- verification method
- finite automata
- formal verification
- finite state machines
- quantitative measures
- signature verification
- face verification
- qualitative and quantitative
- decision trees
- formal language theory
- concurrent systems
- data sets
- finite state automata
- turing machine
- artificial neural networks
- information systems