A prototype implementation of the AUnit test automation framework for alloy [PDF]
, 2017 Alloy is a declarative language based on relational first-order logic. Unlike commonly used procedural languages, the testing criteria of declarative languages like Alloy has remained largely ad hoc.
Yu, Jiaolong
core +1 more source
Criminal Procedural Code of the Russian Federation: evaluation of effectiveness and measures for its improvement [PDF]
Пенитенциарная наука, 2021 Introduction: the article analyzes provisions of the Criminal Procedural Code of the Russian Federation and its impact on the implementation of key legal institutions designed to ensure respect for the rights and legitimate interests of criminal ...
BORIS YA. GAVRILOV
doaj +1 more source
Some Procedural Issues Related to the Enforcement of Restrictive Measures in the Form of Prohibition on Certain Actions, House Arrest, and Bail in the Work of Probation Inspectorates [PDF]
Пенитенциарная наука, 2021 Introduction: the article analyzes procedural issues in the activities of probation inspectorates in connection with the monitoring of suspects and accused in the execution of restrictive measures in the form of house arrest, bail, prohibition on certain
LYUDMILA A. KOLPAKOVA
doaj +1 more source
Automating relatively complete verification of higher-order functional programs [PDF]
, 2013 We present an automated approach to relatively completely verifying safety (i.e., reachability) property of higher-order functional programs. Our contribution is two-fold.
Kobayashi Naoki +3 more
core +1 more source
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
International Conference on Computer Aided Verification, 2020 There has been a large body of work on local reasoning for proving the absence of bugs, but none for proving their presence. We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1 ...
Azalea Raad +5 more
semanticscholar +1 more source
APPEAL RATE, REVERSAL RATE AND JUDICIAL EFFICIENCY
Revista Eletrônica do Curso de Direito da UFSM, 2019 The present paper explores how a study of the appealability rate and the reversal rate of a given court can reveal the procedural dynamics in any jurisdiction and point out solutions to improve the performance of the public adjudicative service.
Ivo Teixeira Gico Junior +1 more
doaj +1 more source
Potchefstroom Electronic Law Journal, 2022 In the South African legal system of fact finding and proof the relevance of an evidentiary fact is not governed by the rules of the law of evidence but by a set of extra-legal principles based on the logic of inferential reasoning and probability ...
Adrian Bellengere +1 more
doaj +1 more source
An ontology framework for developing platform-independent knowledge-based engineering systems in the aerospace industry [PDF]
, 2014 This paper presents the development of a novel knowledge-based engineering (KBE) framework for implementing platform-independent knowledge-enabled product design systems within the aerospace industry.
Sanya, I. O., Shehab, Essam
core +1 more source
Neutrosophic TOPSIS-OWA framework for evaluating data protection strategies in judicial systems [PDF]
Journal of Fuzzy Extension and ApplicationsThis study presents a novel neutrosophic multi-criteria decision-making approach, combining the Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) and Ordered Weighted Averaging (OWA) methods, to assess data protection strategies ...
Luis Ramiro Ayala Ayala +2 more
doaj +1 more source
Enhancing Judicial Impartiality in Ecuador: A Fuzzy Cognitive Map Approach Using Neutrosophic Logic and Fuzzification [PDF]
Neutrosophic Sets and SystemsFuzzy Cognitive Map (FCM) approach, with neutrosophic logic and fuzzification applied to assign weights to the relationships between key concepts. Through expert consensus, eight critical factors were identified: Judicial Independence, Transparency ...
Robert Alcides Falconi Herrera
doaj +1 more source