Architecture-Driven Verification of Concurrent Systems

From National Research Council Canada

Download
  1. (PDF, 797 KiB)
AuthorSearch for:
FormatText, Article
Subjectarchitecture-based verification; architectural specifications; architectural formalisms; model checking; equivalence checking; compositional verification.; spécification architecturale; formalisme architectural; vérification de modèle; vérification de l'équivalence; vérification compositionnelle
Abstract
Publication date
In
LanguageEnglish
NRC numberNRCC 41549
NPARC number5764623
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifierabb9b207-f404-42d0-8d05-2d95adbf15e9
Record created2009-03-29
Record modified2020-03-20
Date modified: