Architecture-Driven Verification of Concurrent Systems

From National Research Council Canada

Download
  1. (PDF, 487 KB)
AuthorSearch for:
FormatText
TypeArticle
Journal titleNordic Journal of Computing
Volume4
Issue4
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
LanguageEnglish
NRC number41549
NPARC number5764623
Export citationExport as RIS
Report a correctionReport a correction
Record identifierabb9b207-f404-42d0-8d05-2d95adbf15e9
Record created2009-03-29
Record modified2019-02-14
Date modified: