Formal Verification Based on Relation Checking in SPIN: A Case Study

  1. (PDF, 363 KB)
AuthorSearch for: ; Search for: ; Search for:
ConferenceProceedings of the First Workshop on Formal Methods in Software Practice, January 11, 1996., San Diego, California, USA
Publication date
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number39183
NPARC number5765210
Export citationExport as RIS
Report a correctionReport a correction
Record identifier2236c9d2-5c5a-4e38-a247-c782e780e4a0
Record created2009-03-29
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
Date modified: