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

From National Research Council Canada

Download
  1. (PDF, 677 KB)
AuthorSearch for: ; Search for: ; Search for:
FormatText
TypeArticle
ConferenceProceedings of the First Workshop on Formal Methods in Software Practice, January 11, 1996., San Diego, California, USA
Abstract
Publication date
LanguageEnglish
NRC number39183
NPARC number5765210
Export citationExport as RIS
Report a correctionReport a correction
Record identifier2236c9d2-5c5a-4e38-a247-c782e780e4a0
Record created2009-03-29
Record modified2019-03-14
Date modified: