Tools and Methods for RTCP-Nets Modeling and Verification

DOI10.1515/ACSC-2016-0019MaRDI QIDQ4971674zbMATH OpenOpenAlexFDO

Authors Marcin Szpyrka, Jerzy Biernacki, Agnieszka Biernacka

Publication date 12 October 2020

Published in Archives of Control Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1515/acsc-2016-0019

zbMATH Keywords

CADPcoverability graphsmodel checkingnuXmvPetri netsRTCP-nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of RTCP-nets with reachability graphs
• Parameterized verification of time-sensitive models of ad hoc network protocols
• scientific article; zbMATH DE number 3876567
• Towards model checking real-world software-defined networks
• Modeling and verifying ad hoc routing protocols
• scientific article; zbMATH DE number 1796132
• Design and analysis of embedded systems with RTCP-nets.

Cites work

• An open graph visualization system and its applications to software engineering
• Analysis of RTCP-nets with reachability graphs
• Analysis of VME-bus communication protocol -- RTCP-net approach
• Coloured Petri Nets
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 1059247 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• NuSMV: A new symbolic model checker
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(4)

• Evaluation of cyber security and modelling of risk propagation with Petri nets
• Analysis of RTCP-nets with reachability graphs
• Design and analysis of embedded systems with RTCP-nets.
• Analysis of VME-bus communication protocol -- RTCP-net approach

Describes a project that uses

Uses Software

• CADP
• nuXmv
• NuSMV

This page was built for publication: Tools and Methods for RTCP-Nets Modeling and Verification

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