Structure satisfies the CTL formulae listed above. Using the modelcheck library you could write the following Java program to check whether the described Kripke Until a state is reached that satisfies proposition c.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |