… , the model-checking procedure can be executed “on-the-fly”, … We propose an efficient,
on-thefly, PCTL model checking … global PCTL model checker on representative applications. …

… 3 Model checking method We propose below a method for checking a regular probabilistic
formula on a PTS on the fly, by reformulating the problem as the simultaneous resolution of a …

… probabilistic setting. We present a novel on-the-fly algorithm that works on concrete probabilistic
… , making it perfectly applicable during simulation for statistical model checking of MDPs. …

… to in this paper by on-the-fly mean field model checking [16]. In … probabilistic behaviour of
the population in discrete time and can be used to verify formulas of the bounded Probabilistic …

… on-the-fly model checking approach for probabilistic programs represented by the probabilistic
… the possibly infinite model of a program, we run a model checker after a certain amount of …

… to check properties of proposed system designs before they are put into operation. We
present a novel scalable, on-the-fly approximated model-checking … on-the-fly model-checking …

… propose a bounded rational verification approach for on-the-fly model checking of LTL prop…
increasing the probability of finding counter-examples. Since in on-the-fly model checking we …

… models and model checking tech… model checking techniques and tools may not be
simply applied as they are at run time, since they hardly meet the constraints imposed by on-the-fly …

… probabilistic model-checking. We start with a brief description of FlyFast, an on-the-fly model
checker we have developed for approximated bounded PCTL model-checking, based on …

… , (property-driven) bisimulation minimization, and precise on-the-fly steady-state detection.
Recent tool features include time-bounded reachability analysis for continuous-time Markov …