Results 11 to 20 of about 605,840 (270)
Program Derivation by Correctness Enhacements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ...
Nafi Diallo +3 more
doaj +9 more sources
Admit your weakness: Verifying correctness on TSO architectures [PDF]
, 2015 “The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-15317-9_22 ”.Linearizability has become the standard correctness criterion for fine-grained non-atomic concurrent algorithms, however, most approaches assume a ...
A Gotsman +17 more
core +1 more source
Correctness and completeness of logic programs [PDF]
, 2015 We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method which should be well known but is often neglected.
Drabent, Włodzimierz
core +1 more source
A puzzle about enkratic reasoning [PDF]
, 2020 Enkratic reasoning—reasoning from believing that you ought to do something to an intention to do that thing—seems good. But there is a puzzle about how it could be. Good reasoning preserves correctness, other things equal. But enkratic reasoning does not
Way, Jonathan
core +1 more source
Defuzzification Strategies for Fuzzy Classifications of Remote Sensing Data
Remote Sensing, 2016 The classes in fuzzy classification schemes are defined as fuzzy sets, partitioning the feature space through fuzzy rules, defined by fuzzy membership functions.
Peter Hofmann
doaj +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
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
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
Avoiding coincidental correctness in boundary value analysis [PDF]
, 2006 In partition analysis we divide the input domain to form subdomains on which the system's behaviour should be uniform. Boundary value analysis produces test inputs near each subdomain's boundaries to find failures caused by incorrect implementation of ...
Hierons, RM
core +1 more source