Research Community To Do List! Note: each of the things in this list would be helpful tools and resources for the model-checking research community. Proof that MoXI encodes LTL Proof that MoXI does not encode all of CTL ...