Results 261 to 270 of about 221,743 (312)

Fact-Checking Large Language Model Responses to a Health Care Prompt: Comparative Study. [PDF]

JMIR Form Res
Ryan P, Davoren O, Elwyn G.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

To model check or not to model check

Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273), 2002
In the past, hardware design validation has relied primarily on simulation. New techniques such as model checking have been introduced but no objective study investigating the advantages such techniques provide over simulation has been made. Simulation is model checking over a trace elicited by executing a test vector; model checking can be viewed as ...
Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham   +3 more
openaire   +1 more source

Model checking for survivability!

Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Business and social life have become increasingly dependent on large-scale communication and information systems. A partial or complete breakdown as a consequence of natural disasters or purposeful attacks might have severe impacts. Survivability refers to the ability of a system to recover from such disaster circumstances.
Lucia Cloth, Boudewijn R. Haverkort
openaire   +1 more source

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   +4 more sources

Model Checking

1996
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Edmund M. Clarke, Orna Grumberg, David E. Long   +2 more
openaire   +1 more source

Model Checking at IBM

Formal Methods in System Design, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal   +3 more
openaire   +2 more sources

Checking security properties by model checking

Software Testing, Verification and Reliability, 2003
AbstractA method is proposed for checking security properties in programs written in high‐level languages. The method is based on the model checking technique. The SMV tool is used. The representation of the program is a Kripke structure modelling the control flow graph enriched with security information.
DE FRANCESCO, NICOLETTA, LETTIERI, GIUSEPPE   +1 more
openaire   +1 more source

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

Model Checking

2011 Workshop-School on Theoretical Computer Science, 2011
Model Checking is a technique to prove a concurrent system finite model satisfies a given property. Largely used to prove hardware systems correct, new techniques allow its use also to verify software systems. This paper aims to present a tutorial overview of the fundamental principles of model checking, as presented in the WEIT 2011.
openaire   +1 more source