APMC
From MaRDI portal
Software:23425
No author found.
Related Items (27)
Accelerating SpMV multiplication in probabilistic model checkers using GPUs ⋮ Deep Statistical Model Checking ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Statistical Model Checking for Cyber-Physical Systems ⋮ Command-based importance sampling for statistical model checking ⋮ Type-based Self-stabilisation for Computational Fields ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Learning deterministic probabilistic automata from a model checking perspective ⋮ Proving Positive Almost Sure Termination Under Strategies ⋮ Efficient Probabilistic Model Checking of Systems with Ranged Probabilities ⋮ ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ Probabilistic verification and approximation ⋮ DNA Walker Circuits: Computational Potential, Design, and Verification ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Unnamed Item ⋮ DNA walker circuits: computational potential, design, and verification ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude ⋮ Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ Verification, Model Checking, and Abstract Interpretation ⋮ On-the-fly Fast Mean-Field Model-Checking ⋮ Bounded Rational Search for On-the-Fly Model Checking of LTL Properties ⋮ Computer Aided Verification ⋮ Mu-calculus path checking ⋮ Monte Carlo Methods for Process Algebra
This page was built for software: APMC
