Automatic monitor generation from regular expression based specifications for module interface verification.
Yosuke KakiuchiA. KitajimaKiyoharu HamaguchiToshinobu KashiwabaraPublished in: ISCAS (4) (2005)
Keyphrases
- regular expressions
- pattern matching
- concurrent systems
- automated verification
- finite automata
- formal verification
- asynchronous circuits
- high level
- bounded model checking
- xml schema
- semistructured data
- model checking
- approximate matching
- deterministic finite automata
- matching algorithm
- query language
- data model
- web mining
- string matching
- verification method
- user interface
- search engine