Sentence examples for model checking methodology from inspiring English sources
In this paper we present a model checking methodology for the validation of multidimensional (spatio-temporal) computational models, and its application to two multicellular population based examples from systems biology.
We report experimental results obtained on MCMAS-P, a novel model checker implementing the parameterised model checking methodologies here devised.
This paper introduces a novel methodology based on probabilistic model checking, for the analysis of the reliability, availability, safety and performance-area tradeoffs of safety-critical systems for early design decisions.
We implemented the methodology in the freely available model checking platform Mudi using a cross-platform programming language.
Exploiting the symmetry of UML models induced by objects being instances of classes, the restriction to finite bounds can be overcome applying [K.L. McMillan, A methodology for hardware verification using compositional model checking, Science of Computer Programming 37 (2000) 279 309].
Our methodology is an extension of the existing model checking approaches because it enables the validation of models with respect to (clusters of) spatial patterns and how their geometric properties change over time.
Our key motivation of this paper is to establish a quantitative methodology to model and analyze in silico models incorporating the use of model checking approach.
In this paper we defined and implemented a methodology for the automatic in silico formal validation of computational models using pseudo-3D spatio-temporal model checking.
The efficiency and complexity of the methodology was illustrated for the phase variation and chemotaxis case studies by employing only the frequentist statistical model checking algorithm.
The result is planning as model checking.
We show that while module checking and model checking coincide for the linear-time paradigm, module checking is much harder than model checking for the branching-time paradigm.
