Model checking functional and performability properties of stochastic fluid models

MaRDI QIDQ2848429zbMATH OpenFDO

Authors Marco Gribaudo, András Horváth

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002501

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking for a Class of Performance Properties of Fluid Stochastic Models
• Model checking for performability
• Fluid model checking
• scientific article; zbMATH DE number 176728
• Model checking probabilistic systems

Cited in

(6)

• Logical characterization of fluid equivalences
• Model checking for performability
• Model checking mobile stochastic logic
• Performance model checking scenario-aware dataflow
• Model Checking for a Class of Performance Properties of Fluid Stochastic Models
• Model checking single agent behaviours by fluid approximation

This page was built for publication: Model checking functional and performability properties of stochastic fluid models

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