Skip to main content

Summit Research Repository

SIGN IN

This site

SFU.ca

Submit your Research

Main navigation

Home
Collections
About
Contact
Search Summit

Ma, George Zi Sheng

Model checking support for CoreASM: model checking distributed abstract state machines using Spin

Summit

Home
About
Submit thesis
Submit work
Contact

Log in

Simon Fraser University

Library
Programs
Learning
Community
Research

About
Academic Calendar
Maps & directions
Road conditions
Emergency information

Facebook
Twitter
Instagram
YouTube
LinkedIn

Give to SFU

Simon Fraser University Library is grateful to be located on the lands of the xʷməθkʷəy̓əm (Musqueam), Sḵwx̱wú7mesh (Squamish), səl̓ilw̓ətaʔɬ (Tsleil-Waututh), q̓íc̓əy̓ (Katzie), kʷikʷəƛ̓əm (Kwikwetlem), qiqéyt (Qayqayt), qʼʷa:n̓ƛʼən̓ (Kwantlen), Səmyámə (Semiahmoo), and sc̓əwaθən (Tsawwassen) Nations.

Acknowledging the benefits of occupying this land, the Library commits to becoming a more welcoming space for Indigenous Peoples by centring Indigenous voices in our collections, services, and programs.

Terms and conditions
© Simon Fraser University