New Publication
Posted on Thu, 5 Jul 2007
Last edited Thu, 5 Jul 2007
Last edited Thu, 5 Jul 2007
Frank Weil, Brian Mastenbrook, David Nelson, Paul Dietz, and Aswin van den Berg. Automated Semantic Analysis of Design Models. To appear in ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS), October 2007. PDF, 138 kB.
Many of the techniques given in this paper are well known in the compiler community. The application to verification of models of industrial scale telecommunication applications has been able to spot significant but difficult-to-test problems.
There will also be an experience paper given at the 13th System Design Language Forum in September. When I have a copy of this paper, I will post it.