Results 301 to 310 of about 23,407,383 (367)

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

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

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 multiagent systems

Journal of Logic and Computation, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Benerecetti, Giunchiglia, Fausto, L. Serafini   +2 more
openaire   +3 more sources

Planning as Model Checking

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