Results 151 to 160 of about 25,570,341 (217)

Model Checking

2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire   +5 more sources

Model Checking

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, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf   +7 more
openaire   +2 more sources

Model-Checking

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

A guide to Bayesian model checking for ecologists

Ecological Monographs, 2018
Checking that models adequately represent data is an essential component of applied statistical inference. Ecologists increasingly use hierarchical Bayesian statistical models in their research.
P. B. Conn, Devin S. Johnson, Perry J. Williams, S. Melin, M. Hooten   +4 more
semanticscholar   +1 more source

Model Checking

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 FTA

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

Model Checking

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

MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documents

Conference on Empirical Methods in Natural Language Processing
Recognizing if LLM output can be grounded in evidence is central to many tasks in NLP: retrieval-augmented generation, summarization, document-grounded dialogue, and more. Current approaches to this kind of fact-checking are based on verifying each piece
Liyan Tang, Philippe Laban, Greg Durrett
semanticscholar   +1 more source

Stateless Model Checking for POWER

International Conference on Computer Aided Verification, 2016
We present the first framework for efficient application of stateless model checking (SMC) to programs running under the relaxed memory model of POWER. The framework combines several contributions.
P. Abdulla, M. Atig, B. Jonsson, C. Leonardsson   +3 more
semanticscholar   +1 more source

Model checking and equivalence checking

2009
Introduction 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