Results 31 to 40 of about 2,784,953 (338)
Generating correctness proofs with neural networks [PDF]
MAPL@PLDI, 2019 Foundational verification allows programmers to build software which has been empirically shown to have high levels of assurance in a variety of important domains. However, the cost of producing foundationally verified software remains prohibitively high
Alex Sanchez-Stern +3 more
semanticscholar +1 more source
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We give a language-parametric solution to the problem of total correctness, by automatically reducing it to the problem of partial correctness, under the assumption that an expression whose value decreases with each program step in a well-founded order ...
Andrei-Sebastian Buruiană +1 more
doaj +1 more source
IEEE Access, 2019 In Punjab Pakistan, a river flood event is the most important natural disasters that every year causes high human casualties as well as heavy economic losses. A safety-critical system should be correct, reliable, complete, consistent, and unambiguous for
Nadeem Akhtar +8 more
doaj +1 more source
On Reliability of Patch Correctness Assessment [PDF]
International Conference on Software Engineering, 2018 Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, or test suites, to generate repairs. This, however, may cause ASR tools to generate repairs that are incorrect and hard to generalize.
X. Le +4 more
semanticscholar +1 more source
Educare, 2018 There is a popular discourse in Sweden describing student writing as defective. Entering the discourse about the state and possible change of student writing, this paper analyses the writing part of the national test in Swedish for upper secondary school.
Martin Lennart Malmström
doaj +1 more source
Attention Correctness in Neural Image Captioning [PDF]
AAAI Conference on Artificial Intelligence, 2016 Attention mechanisms have recently been introduced in deep learning for various tasks in natural language processing and computer vision. But despite their popularity, the ``correctness'' of the implicitly-learned attention maps has only been ...
Chenxi Liu +3 more
semanticscholar +1 more source
The rule of multiple correct opinions in ijtihad [PDF]
مجلة جامعة الأنبار للعلوم الإسلاميةPraise be to Allah, Lord of the Worlds, and the best prayers and most complete peace be upon our Master Muhammad, his family and all his companions. And after: There is no doubt that many of the texts mentioned in the two revelations are conjectural in ...
Prof. Dr. mahmoud ibraheem Abdulrazaq -
doaj +1 more source
Arguing as Trying to Show That a Target-claim is Correct
Theoria, 2011 In Giving Reasons, Bermejo-Luque rightly claims that a normative model of the speech act of argumentation is more defensible if it rests on an internal aim that is constitutive of the act of arguing than if it rests, as she claims existing normative ...
David Hitchcock
doaj +1 more source
A General Framework for Sound and Complete Floyd-Hoare Logics [PDF]
, 2008 This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the ...
Arthan R. +9 more
core +1 more source
Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm
Journal of Communications Software and SystemsIn this paper, we present a comprehensive proof of the correctness and soundness of our previously published algorithm for transforming partially ordered multisets (Pomsets) into labeled transition systems (LTS).
Asma Bezza +3 more
doaj +1 more source