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

From National Research Council Canada

  1. (PDF, 678 KiB)
AuthorSearch for: ; Search for: ; Search for:
FormatText, Article
ConferenceProceedings of the First Workshop on Formal Methods in Software Practice, January 11, 1996., San Diego, California, USA
Publication date
NRC numberNRCC 39183
NPARC number5765210
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifier2236c9d2-5c5a-4e38-a247-c782e780e4a0
Record created2009-03-29
Record modified2020-03-20
Date modified: