Results 31 to 40 of about 270,225 (234)

Deductive Verification of Telecommunication Systems Written in C

Моделирование и анализ информационных систем, 2015
A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj   +1 more source

Towards the ’Verified Verifier’. Theory and Practice

Моделирование и анализ информационных систем, 2014
As opposed to traditional testing, the deductive verification represents a formal way to examine the program correctness. But what about the correctness of the verification system itself?
D. A. Kondratyev, A. V. Promsky
doaj   +1 more source

Axioms and Divisor Methods for a Generalized Apportionment Problem with Relative Equality

Mathematics, 2023
The allocation of seats in a legislative body to groups based on their size is a crucial issue in legal and political studies. However, recent findings suggest that an optimal allocation of seats may not be proportional to the size of the groups.
Wenruo Lyu, Liang Zhao
doaj   +1 more source

A Logical Analysis of Existential Dependence and Some Other Ontological Concepts—A Comment to Some Ideas of Eugenia Ginsberg-Blaustein

Axioms, 2016
This paper deals with several problems concerning notion of existential dependence and ontological notions of existence, necessity and fusion. Following some ideas of Eugenia Ginsberg-Blaustein, the notions are treated in reference to objects, in ...
Marek Magdziak
doaj   +1 more source

Fuzzy vs. Traditional Reliability Model for Inverse Weibull Distribution

Axioms, 2023
In this paper, fuzzy stress strengths RF=P(Y≺X) and traditional stress strengths R=P ...
Eslam Hussam, Mohamed A. Sabry, M. M. Abd El-Raouf, Ehab M. Almetwally   +3 more
doaj   +1 more source

A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

Bulletin of the Section of Logic, 2022
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar   +1 more
doaj   +1 more source

Uniform Substitution for Differential Game Logic

, 2018
This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a function or predicate symbol everywhere.
A Church, A Platzer, A Platzer, A Platzer, A Platzer, A Tarski, J-D Quesel, N Fulton   +7 more
core   +1 more source

Unifying cubical and multimodal type theory [PDF]

Logical Methods in Computer Science
In this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT).
Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal   +3 more
doaj   +1 more source

The Case of Aspect in Sentiment Analysis: Seeking Attention or Co-Dependency?

Machine Learning and Knowledge Extraction, 2022
(1) Background: Aspect-based sentiment analysis (SA) is a natural language processing task, the aim of which is to classify the sentiment associated with a specific aspect of a written text.
Anastazia Žunić, Padraig Corcoran, Irena Spasić   +2 more
doaj   +1 more source

Theorem proving support in programming language semantics [PDF]

, 2007
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core   +3 more sources