Verification of DSMLs using graph transformation: a case study with Alloy.
Zekai DemirezenMarjan MernikJeffrey G. GrayBarrett R. BryantPublished in: MoDeVVa@MoDELS (2009)
Keyphrases
- graph transformation
- case study
- model checking
- test bed
- face verification
- formal verification
- three dimensional
- formal analysis
- verification method
- objective function
- evolutionary algorithm
- signature verification
- room temperature
- stainless steel
- database
- mechanical properties
- multiscale
- information retrieval
- neural network