Results 1 to 10 of about 4,636,755 (203)
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs [PDF]
International Conference on Computer Aided Verification, 2011 Predicate abstraction is a key enabling technology for applying finitestate model checkers to programs written in mainstream languages. It has been used very successfully for debugging sequential system-level C code.
Alastair F. Donaldson +3 more
semanticscholar +5 more sources
Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables [PDF]
Doklady Mathematics, 2022 Abstract— We prove $$\Sigma _{1}^{0}$$-hardness of a number of theories of a binary predicate with three individual variables (in languages without constants or equality). We also show that, in languages with equality and the operators of composition and of transitive closure, theories of a binary predicate are $$\Pi _ ...
Mikhail Rybakov
openalex +2 more sources
Systematic Predicate Abstraction Using Variable Roles [PDF]
NASA Formal Methods, 2017 Heuristics for discovering predicates for abstraction are an essential part of software model checkers. Picking the right predicates affects the runtime of a model checker, or determines if a model checker is able to solve a verification task at all. In this paper we present a method to systematically specify heuristics for generating program-specific ...
Yulia Demyanova +2 more
semanticscholar +4 more sources
Two-variable Logic with Counting and a Linear Order [PDF]
Logical Methods in Computer Science, 2016 We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures.
Witold Charatonik, Piotr Witkowski
doaj +3 more sources
Identification of the Predicator Variables of Candidate Teacher Teaching Motivations [PDF]
International Journal of Higher Education, 2016 The purpose of this study was to determine whether the internal and external teaching motivations of 3rd and 4th year students of the Faculty of Education of Cumhuriyet University are predicted by the variables of gender, department, year level, conscious preference of department they are studying in, whether there is a teacher in their family, their ...
Ebru Bozpolat
openalex +3 more sources
Predicate Transformers for Recursive Procedures with Local Variables [PDF]
Formal Aspects of Computing, 1999 Abstract. The weakest precondition semantics of recursive procedures with local variables are developed for an imperative language with demonic and angelic operators for unbounded nondeterminate choice. This does not require stacking of local variables.
Wim H. Hesselink
openalex +6 more sources
Generating rules with predicates, terms and variables from the pruned neural networks [PDF]
Neural Networks, 2009 Artificial neural networks (ANN) have demonstrated good predictive performance in a wide range of applications. They are, however, not considered sufficient for knowledge representation because of their inability to represent the reasoning process succinctly.
Richi Nayak
openalex +5 more sources
Control predicates are better than dummy variables for reasoning about program control [PDF]
ACM Transactions on Programming Languages and Systems, 1988 When explicit control predicates rather than dummy variables are used, the Owicki-Gries method for proving safety properties of concurrent programs can be strengthened, making it easier to construct the required program annotations.
Leslie Lamport
openalex +4 more sources
Two-variable Logic with a Between Predicate
, 2016 We study an extension of FO^2[
Andreas Krebs +3 more
openalex +4 more sources
Jurnal Dinamika Manajemen, 2016 PT Maktour got a predicate from the Ministry of Religous Affairs as the best special hajj and umrah organizer and was ranked as the Top Brand Index category travel agency in 2014.
Muhammad Muhammad, Yessy Artanti
doaj +2 more sources