Results 11 to 20 of about 2,109,378 (288)
Relational Symbolic Execution [PDF]
, 2019 Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the form of ...
Banerjee Anindya +15 more
core +1 more source
Model Checker Execution Reports [PDF]
, 2017 Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was ...
Braberman, Victor +3 more
core +2 more sources
The Execution of the Innocent [PDF]
, 1998 Radelet and Bedau discuss the continuing and regular incidence of American trial courts sentencing innocent defendants to death, which was one of the problems that gave rise to the ABA\u27s moratorium on capital ...
Bedau, Hugo Adam, Radelet, Michael L.
core +2 more sources
Execution of Mortgage Object Against Bankruptcy Debtors [PDF]
, 2021 The problems arise when the company is unable to pay its debts to the bank and then the bank submits a legal remedy for bankruptcy which results in the debtor (company) being declared bankrupt.
Al-Faih, Sholahuddin +5 more
core +1 more source
Jurnal Penelitian Hukum De Jure, 2022 The issuance of the decision of the Constitutional Court Number 18/PUU-XVII/2019 on January 6, 2020, caused a change in the execution pattern of Fiduciary Guarantee objects.
Rosyidi Hamzah, Fadhel Arjuna Adinda
doaj +1 more source
Continuum, 2010 Executive resources allow for flexible, adaptive, goal-directed responses to environmental circumstances in essentially all facets of daily living. Executive function is composed of related, but separable, components. This article will highlight three essential aspects of executive function: (1) working memory, (2) planning and organizing, and (3 ...
Rachel G, Gross, Murray, Grossman
openaire +2 more sources
Self-composition by Symbolic Execution [PDF]
, 2013 This work is licensed under a CC-BY Creative Commons Attribution 3.0 Unported license (http://creativecommons.org/licenses/by/3.0/)urn: urn:nbn:de:0030-drops-42770urn: urn:nbn:de:0030-drops-42770Self-composition is a logical formulation of non ...
Phan, Q-S
core +1 more source
The budget control in the function of the civil and democratic control of the armed forces in the Republic of Serbia [PDF]
Војно дело, 2021 One of the important indicators of democratization of each society is the constitutional and legal definition of the role of the military and the possibility of its control.
Knežević Milena +2 more
doaj +1 more source
A partial breadth-first execution model for prolog [PDF]
, 1994 MEM (Multipath Execution Model) is a novel model for the execution of Prolog programs which combines a depth-first and breadth-first exploration of the search tree.
González Colás, Antonio María +1 more
core +1 more source
Russian Journal of Economics and Law, 2016 Objective: to form the science-based knowledge about the place and the role of technology and methods of management system in solving the problems of the penal system, in the sphere of protection of the rights and freedoms of the imprisoned.
P. A. Matyukhov
doaj +1 more source