Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.
Ichiro SuzukiY. MotohashiKenichi TaniguchiTadao KasamiTatsuaki OkamotoPublished in: Theor. Comput. Sci. (1986)
Keyphrases
- regular expressions
- pattern matching
- formal verification
- finite automata
- query language
- monadic second order logic
- semistructured data
- tree automata
- query evaluation
- xml schema
- regular languages
- regular path queries
- deterministic finite automata
- finite state machines
- protocol specification
- databases
- model checking
- high level
- expressive power