109 search results - page 3 / 22 » Verification of Graph Transformation Systems with Context-Fr... |
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
IANDC
2008
13 years 5 months ago
2008
COMCOM
1998
13 years 5 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
ENTCS
2008
13 years 5 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
JSA
2008
13 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...