Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.
Mitsuharu YamamotoYoshinori TanabeKoichi TakahashiMasami HagiyaPublished in: VSTTE (2005)
Keyphrases
- temporal logic
- model checking
- bounded model checking
- concurrent systems
- verification method
- graph transformation
- formal verification
- modal logic
- dynamic constraints
- reactive systems
- computation tree logic
- model checker
- linear temporal logic
- formal methods
- finite state
- formal specification
- transition systems
- hardware designs
- distributed systems
- satisfiability problem
- belief revision
- mazurkiewicz traces