Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68633OpenAlexW4298302743MaRDI QIDQ5312940FDOQ5312940

Authors:

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98490

Recommendations

• Formal modelling and verification of GALS systems using GRL and CADP
• scientific article; zbMATH DE number 2017356
• Towards Performance Prediction of Compositional Models in Industrial GALS Designs
• Computer Aided Verification
• scientific article; zbMATH DE number 2080750

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (8)

• Title not available (Why is that?)
• Computer Aided Verification
• Formal modelling and verification of GALS systems using GRL and CADP
• Reasoning about synchronization in GALS systems
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• Towards Performance Prediction of Compositional Models in Industrial GALS Designs
• Title not available (Why is that?)
• Protocol verification with the Aldébaran toolset

This page was built for publication: Computer Aided Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312940)