Architecture-Driven Verification of Concurrent Systems

Download
  1. (PDF, 487 KB)
  2. Get@NRC: Architecture-Driven Verification of Concurrent Systems (Opens in a new window)
AuthorSearch for:
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
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number41549
NPARC number5764623
Export citationExport as RIS
Report a correctionReport a correction
Record identifierabb9b207-f404-42d0-8d05-2d95adbf15e9
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: