Formal Specification and Verification of Real-Time Systems using Graph Grammars.
Leonardo MichelonSimone André da CostaLeila RibeiroPublished in: J. Braz. Comput. Soc. (2007)
Keyphrases
- real time systems
- formal specification
- graph grammars
- model checking
- concurrent systems
- formal methods
- context sensitive
- process algebra
- temporal logic
- distributed systems
- finite state
- protocol specification
- real time
- embedded systems
- context free
- grid workflow
- reverse engineering
- computer programs
- production rules
- asynchronous circuits
- databases
- graph databases
- production system
- information systems
- artificial intelligence