Results 251 to 260 of about 6,639 (299)

2026 Healthcare Predictions: AI, Blockchain, and the Rise of Decentralized Innovation. [PDF]

Blockchain Healthc Today
Dershem M, Riley J, Venkataraman M, Nasr J, Hussain AS.   +4 more
europepmc   +1 more source

Accelerated Multisecret Sharing Scheme Using Fast Matrix Spectral Factorization. [PDF]

Entropy (Basel)
Çalkavur S, Solé P, Ephremidze L.
europepmc   +1 more source

PlantScience.ai: An LLM-Powered Virtual Scientist for Plant Science

Yu H, Zhou S, Huang M, Ding L, Chen Y, Wang Y, Ren Y, Cheng N, Wang X, Liang J, The John Innes Centre and The Sainsbury Laboratory Collaboration, Zhang H, Ding Y, Li K.   +13 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Verified compilation on a verified processor

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Developing technology for building verified stacks, i.e., computer systems with comprehensive proofs of correctness, is one way the science of programming languages furthers the computing discipline. While there have been successful projects verifying complex, realistic system components, including compilers (software) and processors (hardware), to ...
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox   +6 more
openaire   +1 more source

To Verify or Not to Verify, That is The Question

Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 2014
Recently developed secure, end-to-end voting systems are designed to allow voters to confidentially verify on the internet that their ballot selections are cast and counted correctly. In response, this research paper characterizes both voters’ desire to actually use vote verification methods and the format of verification that users expected.
Claudia Ziegler Acemyan, Philip Kortum
openaire   +1 more source

A verified staged interpreter is a verified compiler

Proceedings of the 5th international conference on Generative programming and component engineering, 2006
Dependent types and multi-stage programming have both been used, separately, in programming language design and implementation. Each technique has its own advantages --- with dependent types, we can verify aspects of interpreters and compilers such as type safety and stack invariants. Multi-stage programming, on the other hand, can give the implementor
Edwin C. Brady, Kevin Hammond
openaire   +1 more source

Surveying global verifiability [PDF]

Information Processing Letters, 2020
We explore global verifiability; discovering that voting systems vulnerable to attack can be proven to satisfy that security notion, whereas many secure systems cannot.
Ben Smyth
exaly   +1 more source

The Civl Verifier

2021
Civl is a static verifier for concurrent programs designed around the conceptual framework of layered refinement, which views the task of verifying a program as a sequence of program simplification steps each justified by its own invariant. Civl verifies a layered concurrent program that compactly expresses all the programs in this sequence and the ...
Bernhard Kragl, Shaz Qadeer
openaire   +1 more source

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

Verifiability and strong verifiability

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