Using PVS for Modeling and Verification of Probabilistic Connectors

DOI10.1007/978-3-030-31517-7_5MaRDI QIDQ6488949zbMATH OpenFDO

Authors M. Nawaz, Meng Sun

Publication date 14 March 2024

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)

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

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)