Results 241 to 250 of about 30,415 (268)

Dr. Chatbot: Investigating the Quality and Quantity of Responses Generated by Three AI Chatbots to Prompts Regarding Carpal Tunnel Syndrome. [PDF]

Cureus
Buchman ZJ, Savarino VR, Vinarski BM, Jay LF, Phrathep D, Boesler D.   +5 more
europepmc   +1 more source

AI driven network pharmacology: Multi-scale mechanisms of traditional Chinese medicine from molecular to patient analysis. [PDF]

Comput Struct Biotechnol J
Cui G, Li M, Guo W, Gao M, Zhu Q, Liao J.   +5 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Verifiability and strong verifiability

Journal of Mathematical Sciences, 1994
See the review in Zbl 0742.62022.
openaire   +2 more sources

Verified Bytecode Subroutines

Journal of Automated Reasoning, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Klein, G., Wildmoser, M.
openaire   +2 more sources

Totally verified systems:
linking verified software to verified hardware

1989
We describe exploratory efforts to design and verify a compiler for a formally verified microprocessor as one aspect of the eventual goal of building totally verified systems. Together with a formal proof of correctness for the microprocessor this yields a precise and rigorously established link between the semantics of the source language and the ...
openaire   +1 more source

Designated Verifier Proofs

2011
-
openaire   +2 more sources

Totally verified systems: Linking verified software to verified hardware

1990
We describe exploratory efforts to design and verify a compiler for a formally verified microprocessor as one aspect of the eventual goal of building totally verified systems. Together with a formal proof of correctness for the microprocessor, this yields a precise and rigorously established link between the semantics of the source language and the ...
openaire   +1 more source

Verifying Implementation Relations

2001
Implementation relations are a means to relate the behaviour of implementation and specification systems built of communicating processes in the event that respective implementation and specification processes have differing interfaces. In this paper we first present a graph-theoretic statement of such relations, and then derive algorithms for their ...
BURTON J, KOUTNY M, PAPPALARDO, Giuseppe
openaire   +2 more sources

The pfort verifier

Software: Practice and Experience, 1974
AbstractThe PFORT Verifier is a program which checks a FORTRAN program (i.e. a main program and a set of subprograms) for adherence to a large, carefully defined, portable subset of American National Standard FORTRAN called PFORT. Unlike many FORTRAN implementations, the Verifier diagnoses errors in interprogram‐unit communication through argument ...
openaire   +1 more source