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

DOI10.1007/978-3-642-40465-8_8zbMATH Open1394.68236OpenAlexW73007504MaRDI QIDQ2849447FDOQ2849447

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

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

zbMATH Keywords

steady statestochastic Petri netprobabilistic linear-time temporal logicsimulative model checkingunbounded temporal operator

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• Title not available (Why is that?)

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)