Articles
Of Faults and Favorites: Model Checking a Pagination Algorithm with Alloy
Using Alloy 6 to formally verify a pagination algorithm that merges favorited and unfavorited event lists.
Using Alloy 6 to formally verify a pagination algorithm that merges favorited and unfavorited event lists.