Results 11 to 20 of about 5,812 (235)
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic [PDF]
, 2019 We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical
Joseph Boudou +3 more
openaire +4 more sources
C-programs Verification on Basis of Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2010 The mixed axiomatic semantics of a C-kernel language is described. This language is the kernel of a representative C language subset which is callexl C-light. Such semantics allows to simplify the verification conditions in many cases.
I. S. Anureev +2 more
doaj +1 more source
Axiomatic Foundations of Acceptability Semantics. [PDF]
, 2016 An argument is a reason or justification of a claim. It has an intrinsic strength and may be attacked by other arguments. Hence, the evaluation of its overall strength becomes mandatory, especially for judging the reliability of its claim. Such an evaluation is done by acceptability semantics.
Amgoud, Leila, Ben-Naim, Jonathan
core +4 more sources
PTE: Axiomatic Semantics based Compiler Testing
CoRRThe correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods however either rely on weak oracles (e.g., a program behaves the same if only dead code is modified), or require substantial initial effort (e.g., having a complete ...
Guoliang Dong +4 more
openaire +3 more sources
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version). [PDF]
Form Methods Syst Des, 2023 Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification.
Armstrong A +4 more
europepmc +4 more sources
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
, 2022 Starting from Hilbert’s Axiomatic Thinking, the problem of identity of proofs and its significance is discussed in an elementary proof-theoretic setting. Identifying two proofs, one of which is obtained from the other one by removing redundancies, leads,
Schroeder-Heister, Peter,
core +1 more source
The Single Axiomatization on CCRL-Fuzzy Rough Approximation Operators and Related Fuzzy Topology
Axioms, 2022 It is well known that lattice-valued rough sets are important branches of fuzzy rough sets. The axiomatic characterization and related topology are the main research directions of lattice-valued rough sets.
Yaoliang Xu, Dandan Zou, Lingqiang Li
doaj +1 more source
Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs
Моделирование и анализ информационных систем, 2015 The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj +1 more source
Representing 3/2-Institutions as Stratified Institutions
Mathematics, 2022 On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models.
Răzvan Diaconescu
doaj +1 more source
A Heuristic-Primed Decision-Making Model under the Assumption of Bounded Resources
Computer Sciences & Mathematics Forum, 2023 Existing decision-making models are generally based on the classical normative paradigm, which seldom considers the limited cognitive and environmental resources of humans when making decisions in real environments.
Nady Slam, Xiang Li, Bojie Feng
doaj +1 more source