Results 281 to 290 of about 1,197,029 (323)
Some of the next articles are maybe not open access.
Informatik-Spektrum, 2004
Die Gewahrleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. "sicherheitskritischen" Systeme zu, bei dem ein Systemversagen Menschenleben gefahrden kann.
Ralf Buschermöhle +7 more
openaire +2 more sources
Die Gewahrleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. "sicherheitskritischen" Systeme zu, bei dem ein Systemversagen Menschenleben gefahrden kann.
Ralf Buschermöhle +7 more
openaire +2 more sources
2023
In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description.
Muhammad Atif, Jan Friso Groote
openaire +3 more sources
In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description.
Muhammad Atif, Jan Friso Groote
openaire +3 more sources
1996
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Clarke, Edmund M, O. Grumberg, D. Long
openaire +2 more sources
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Clarke, Edmund M, O. Grumberg, D. Long
openaire +2 more sources
2003
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing system safety by uncovering safety flaws and weaknesses of the system. The main drawback of this analysis technique is, that it is based on informal grounds, so safety flaws may ...
Thums, Andreas, Schellhorn, Gerhard
openaire +2 more sources
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing system safety by uncovering safety flaws and weaknesses of the system. The main drawback of this analysis technique is, that it is based on informal grounds, so safety flaws may ...
Thums, Andreas, Schellhorn, Gerhard
openaire +2 more sources
2011 Workshop-School on Theoretical Computer Science, 2011
Model checking is an effective way of comparing a system description against its formal specification and search systematically for errors. The method is gaining a lot of success by being integrated in the hardware design process, and in development of complicated protocols and software.
+4 more sources
Model checking is an effective way of comparing a system description against its formal specification and search systematically for errors. The method is gaining a lot of success by being integrated in the hardware design process, and in development of complicated protocols and software.
+4 more sources
Model checking and equivalence checking
2009Introduction Owing to the advances in semiconductor technology, a large and complex system that has a wide variety of functionalities has been integrated on a single chip. It is called system-on-a-chip (SoC) or system LSI , since all of the components in an electronics system are built on a single chip.
openaire +1 more source
Model checking multiagent systems
Journal of Logic and Computation, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Benerecetti +2 more
openaire +3 more sources
2000
The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.
Giunchiglia, Fausto, P. Traverso
openaire +2 more sources
1994
Fitting data by a certain generalized linear model means choosing appropriate forms for the predictor, the link function, and the exponential family or variance function. In the previous chapters Pearsons’s X 2, the deviance and, in the multinomial case, the power-divergence family were introduced as general goodness-of-fit statistics.
Ludwig Fahrmeir, Gerhard Tutz
openaire +1 more source
Fitting data by a certain generalized linear model means choosing appropriate forms for the predictor, the link function, and the exponential family or variance function. In the previous chapters Pearsons’s X 2, the deviance and, in the multinomial case, the power-divergence family were introduced as general goodness-of-fit statistics.
Ludwig Fahrmeir, Gerhard Tutz
openaire +1 more source
Antibody–drug conjugates: Smart chemotherapy delivery across tumor histologies
Ca-A Cancer Journal for Clinicians, 2022Paolo Tarantino +2 more
exaly