This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results
Filter
Author / Creator / Contributor
Subject / Keyword
Year
Collections
Languages
Item type
-
2008
Technical report TR08-14. In this report, we present a model checking based verification framework, called Fex, for verifying event sequence related program properties. First, the program under investigation is instrumented such that all potential exceptions can be easily raised. Then the ...
1 - 1 of 1