Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Models

These directories hold system models that we have created for study that we are making publically available for others to use and evaluate. Each model contains its citation information.

  • Models from MODRE 2018 publication (models in B, Dash, and TLA+)

David R. Cheriton School of Computer Science, University of Waterloo

Last modified on Tuesday 17th of July 2018 11:48:11 AM