Automated Model Checking of Stochastic Graph Transformation Systems

  title={Automated Model Checking of Stochastic Graph Transformation Systems},
  author={Vahid Rafe and Reza Rafeh and Mohamad Reza Zand Miralvand and Alavie Sadat Alavizadeh},
  journal={2009 International Conference on Computer Technology and Development},
Non-functional requirements like performance and reliability play a prominent role in distributed and dynamic systems. To measure and predict such properties using stochastic formal methods is crucial. At the same time, graph transformation systems are a suitable formalism to formally model distributed and dynamic systems. Already, to address these two issues, Stochastic Graph Transformation Systems (SGTS) have been introduced to model dynamic distributed systems. But most of the researches so… CONTINUE READING