Simulative model checking of steady state and time-unbounded temporal operators

DOI10.1007/978-3-642-40465-8_8MaRDI QIDQ2849447zbMATH OpenOpenAlexFDO

Authors Christian Rohr

Publication date 17 September 2013

Published in Transactions on Petri Nets and Other Models of Concurrency VIII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40465-8_8

zbMATH Keywords

probabilistic linear-time temporal logicsimulative model checkingsteady statestochastic Petri netunbounded temporal operator

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) Biochemistry, molecular biology (92C40)

Recommendations

• Statistical model checking using perfect simulation
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Stochastic model checking
• Statistical probabilistic model checking with a focus on time-bounded properties

Cited in

(1)

• scientific article; zbMATH DE number 5368984 (Why is no real title available?)

Describes a project that uses

Uses Software

• MC2
• COSMOS

This page was built for publication: Simulative model checking of steady state and time-unbounded temporal operators

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