Results 271 to 280 of about 23,557 (297)
Some of the next articles are maybe not open access.
Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Proceedings of the ACM on Software EngineeringLoop invariant inference is a fundamental, yet challenging, problem in program verification. Recent work adopts the guess-and-check framework, where candidate loop invariants are iteratively generated in the guess step and verified in the check step.
Weining Cao +6 more
openaire +1 more source
A Hybrid Human-In-The-Loop Framework for Fact Checking. [PDF]
, 2022 David La Barbera +2 more
openaire +1 more source
A Strategy to Unwind Loops in Incremental Bounded Model Checking for Software
Proceedings of the 2023 3rd Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence and Big Data Forum, 2023Yu Wu, Qilin Deng, Wei Zhang 0264
openaire +1 more source
On check character systems over quasigroups and loops
2019Summary: In this article we study check character systems that is error detecting codes, which arise by appending a check digit \(a_n\) to every word \(a_1a_2\cdots a_{n-1}\in Q^{n-1} \colon a_1a_2\cdots a_{n-1}\to a_1a_2\cdots a_{n-1}a_n\) with the check formula \((\dots((a_1\cdot\delta a_2)\cdot\delta^2 a_3)\dots) \cdot\delta^{n-2}a_{n-1})\cdot\delta^
openaire +2 more sources
Shortening the Feedback Loop: Piloting and Evaluating a Digital Check‐In
Academia Letters, 2022Colleen Mayowski +2 more
openaire +1 more source
Flow check device for liquid-metal loops
Soviet Atomic Energy, 1974S. N. Ogorodnikov +2 more
openaire +1 more source