swMATH11483MaRDI QIDQ23425FDOQ23425
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://www.sciencedirect.com/science/article/pii/S1571066107004471
Cited In (38)
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Deep statistical model checking
- On-the-fly fast mean-field model-checking
- DNA walker circuits: computational potential, design, and verification
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- Efficient probabilistic model checking of systems with ranged probabilities
- Type-based self-stabilisation for computational fields
- DNA Walker Circuits: Computational Potential, Design, and Verification
- Learning deterministic probabilistic automata from a model checking perspective
- Statistical approximation of optimal schedulers for probabilistic timed automata
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Proving Positive Almost Sure Termination Under Strategies
- Command-based importance sampling for statistical model checking
- Bounded rational search for on-the-fly model checking of LTL properties
- Probabilistic verification and approximation
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Distribution, approximation and probabilistic model checking
- PRISM
- INGENIAS
- GEZEL
- VESTA
- COSMOS
- Casaal
- Ymer
- GloMoSim
- Statistical Model Checking for Networks of Priced Timed Automata
- Computer Aided Verification
- PLASMA
- INFAMY
- INA
- PLASMA-lab
- Verification, Model Checking, and Abstract Interpretation
- Mu-calculus path checking
- Statistical model checking for cyber-physical systems
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- Monte Carlo methods for process algebra
- ARES: adaptive receding-horizon synthesis of optimal plans
This page was built for software: APMC
