COSMOS
From MaRDI portal
Software:25244
No author found.
Related Items (6)
Command-based importance sampling for statistical model checking ⋮ Expressing and Computing Passage Time Measures of GSPN Models with HASL ⋮ Uniform sampling for timed automata with application to language inclusion measurement ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models ⋮ Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators
This page was built for software: COSMOS
