Using PVS for Modeling and Verification of Probabilistic Connectors

DOI10.1007/978-3-030-31517-7_5MaRDI QIDQ6488949FDOQ6488949

Authors: M. Nawaz, Meng Sun 

Publication date: 14 March 2024

Recommendations

• A relational model for probabilistic connectors based on timed data distribution streams
• Capturing stochastic and real-time behavior in Reo connectors
• Using Coq for formal modeling and verification of timed connectors
• A logical framework to reason about Reo circuits
• Reo: a channel-based coordination model for component composition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Using PVS for Modeling and Verification of Probabilistic Connectors

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