AspectLTL was created by [http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://ysaar.net/ Yaniv Sa'ar].  It is first presented in the paper:  S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11.  To appear.
 
AspectLTL was created by [http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://ysaar.net/ Yaniv Sa'ar].  It is first presented in the paper:  S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11.  To appear.
   −
* How do I change the main page to point to AspectLTL?
+
== Resources ==
   −
* Below is just the old content from the main wiki page with useful links.
+
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].