Results 71 to 80 of about 2,678,292 (198)
Учёт. Анализ. Аудит, 2019 The article describes the methods which external quality auditors could use to assess the quality of the system of internal auditing standards in audit companies.
VADIM Ovsiychuk +2 more
doaj +1 more source
Abstraction in directed model checking [PDF]
, 2004 ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Lluch-Lafuente, Alberto +1 more
core
Reduced length checking sequences [PDF]
, 2002 Here, the method proposed by Ural, Wu and Zhang (1997) for constructing minimal-length checking sequences based on distinguishing sequences is improved.
Hierons, RM, Ural, H
core +1 more source
Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2019 The aim of this Letter to the Editor was to respond to a comment highlighting potential statistical biases in an analysis of our recently published article. We therefore specified the method for selecting the model variables in order to limit overfitting,
François Javaudin +4 more
doaj +1 more source
Genetic Programming with Fitness based on Model Checking [PDF]
, 2007 Model checking is a way of analysing programs and program-like structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour.
Colin G. Johnson, Johnson, Colin G.
core +1 more source
Виртуальная коммуникация и социальные сетиThe digital era has drastically transformed how people consume and share news. This has led to an unprecedented spread of misinformation that is difficult for the public to identify. While research on journalistic and automated fact-checking is extensive,
Khazova Natalia Antonovna +1 more
doaj +1 more source
Automatic Refinement Checking for B
, 2005 Refinement is a key concept in the B-Method. While refinement is at the heart of the B Method, so far no automatic refinement checker has been developed for it. In this paper we present a refinement checking algorithm and implementation for B.
Michael Leuschel +3 more
core +2 more sources
Designing of Retaining Structures of Reinforced Soil with Limit Conditions Method
Communications, 2004 The principles of limit conditions method in designing modern retaining structures of reinforced soil are presented. The principles are elaborated according to French Standard NF P 94-200 [1, 3].
Edward Hutnik, Andrzej Surowiecki
doaj +1 more source
Context-bounded model checking of LTL properties for ANSI-C software
, 2011 Context-bounded model checking has successfully been used to verify safety properties in multi-threaded systems automatically, even if they are implemented in low-level programming languages like ANSI-C.
Denis Nicole +8 more
core +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source