Model checking functional and performability properties of stochastic fluid models

zbMATH Open1272.68251MaRDI QIDQ2848429FDOQ2848429

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

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

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)

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)