Sentence examples for model checking time from inspiring English sources

Model checking time is negligible for SYMRT and WCA.

In general if a large number of simulations is required the maximum model checking time can be bounded via a user-defined parameter.

However, most model checkers do not support such urgency semantics, except for the IF toolset that model checks timed automata with urgency against observers.

times" presents the average model checking execution time for each PBLSTL evaluation using the "minutes:seconds" format.

This paper presents SymRT, a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems.

For the purpose of performance evaluation, we turn to stochastic model checking of continuous-time Markov chains, which requires an extension of the model of the uncontrolled system with Markovian delays.

While model checking using most timed temporal logics is PSPACE-complete or harder [Alur and Henzinger, Inform. and Comput. 104 (1993) 35; Alur et al., Inform. and Comput. 104 (1993) 2], we show that many practical timing queries, where we are interested in the worst-case or best-case timings, can be answered in polynomial time by querying the system using Min-max CTL.

To analyze the influence of the number of iterations on model checking effect and training time in CNNs, we compare mAP with the different number of iterations.

We also show how the timing model is constructed using symbolic execution and real-time model checking in a task local approach and present optimizations for mitigating state space size.

We study the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC).

In this paper, we present a combination of symbolic execution [26, 27] and real-time model checking that generates a precise control-flow model from the symbolic execution trees obtained with a symbolic execution of the program.