Suggestions for model checking based on this
Model Checking Based Approach for Compliance Checking
... a model for which compliance checking can be performed to find commonalities and discrepancies between the modeled behavior and the observed behavior ...the model and as temporal logic formulae; in ...
21
Model Based Trace Checking
... by checking them against a formal model using a standard model-checker or else an animator for executable ...popular model-checker, and Pro-B, a model-checker and animator for the B ...
15
Model Checking based Software Verification
... Design of Data-Communications Protocol Software : Model checkers have been used as rapid prototyping systems for validating new data-communications. protocols under standardization[r] ...
24
Rewriting-based model checking methods
... that model checking may not be able to fully guarantee the correctness of the system, though it may be helpful for thoroughly testing the ...efficient model checking ...for model ...
372
IFC model checking based on mvdXML 1.1
... Such classification systems are likely already availa- ble for the client and thus need only to be referenced. The structure of defined requirements may par- tially fit to other processes. Therefore, it is reasona- ble ...
8
State/Event-based Software Model Checking
... formalism, based on linear temporal ...automata-theoretic model checking techniques, and show how these can be adapted to the verification task at ...
20
CiteSeerX — Transition-based Directed Model Checking
... directed model checking as an adaptation of the useless actions approach that has successfully been proposed in the area of AI ...Planning. Based on useless transitions, we have proposed a hybrid ...
15
Model Checking BRS based AADL Specification
... BRS based model to specify the installation and reconfiguration operations thanks to the composition and transformation operations on ...our model by using a model Checker ...
9
Bounded saturation-based CTL model checking
... the model checking ...the model and it influences the number of tokens in ...a model of the communication protocol [18], where N is the number of participants in the ...SR-100 model is ...
12
Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
... We have conducted the experiments using two benchmarks: the generic simply-time pipeline paradigm (GSPP) STS model [10] and the bridge crossing problem (BCP) STS model [10]. We would like to point out that ...
8
Metamodel-based model conformance and multiview consistency checking
... An obvious conclusion of this work is that no one approach to metamodelling, and hence multi-view consistency checking, is sufficient: a tradeoff between levels of automation and completeness will have to be made. ...
50
Interpolant Learning and Reuse in SAT Based Model Checking
... Table 1 shows preliminary results from interpolant reuse. The first set of instances represent standard counters, for which counterexample exists. The second set of instances represent industrial problem instances, for ...
15
Improvements to Transitive-Closure-based Model Checking in Alloy
... the model checking of all transition system instances of state size n that satisfy the transition ...complete model checking problem from the results of scoped TCMC for certain categories of ...
136
Software model checking based on game semantics and CSP
... abstrat and fully omplete, models for a variety of programming languages and logial systems (e.g. [1℄). Reently, it was shown that the fully abstrat game-based model of seond-order nitary Idealised Algol ...
20
System Reduction Based on Symmetry in Game Model Checking
... system model of Alternating-time Temporal Logic (ATL) model checking based on symmetry and gives two experiments on tic-tac-toe and go in small ...
6
ID Based Automated Data Integrity Checking Model
... integrity checking by allowing user specific block partition ...log based RDPC model as: ID Based ADIC as Identity Based Automated Data Integrity Checking model for ...
7
Simulation-based CTMC Model Checking: An Empirical Evaluation
... TQN’s model is an ergodic Markov ...smaller model sizes (N < 50) having a dynamic sample-size increase saves a lot of effort needed for re-computation of the ...
10
Chinese Spell Checking Based on Noisy Channel Model
... spell checking is an important component of many NLP applications, in- cluding word processors, search engines, and automatic essay ...errors based on sound or shape ...channel model and a character- ...
8
LTL Model Checking with Logic Based Petri Nets
... well-known model checkers, there is SPIN: An efficient verification system for models of distributed software systems [6, ...without checking all possible ...
14
Model Checking Trust-based Multi-Agent Systems
... the model checking process is much faster in the flat mod- els than in the models ...the model is without-loops, the number of reachable states is still very ...
142