Results 21 to 30 of about 5,812 (235)
Structured Axiomatic Semantics for UML Models [PDF]
Electronic Workshops in Computing, 2000 In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of the properties of these models, and the verification of one model against another.
Kevin Lano, Juan Bicarregui, Andy Evans
openaire +2 more sources
The Axiomatic Approach to Non-Classical Model Theory
Mathematics, 2022 Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning the
Răzvan Diaconescu
doaj +1 more source
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models
, 2021 Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification.
Simner, Ben +9 more
core +1 more source
Mathematizing C++ concurrency [PDF]
, 2011 Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees to specify concurrent behaviour in the next versions of both languages. They
Sarkar, Susmit +9 more
core +1 more source
A Structural Characterization of Extended Correctness-Completeness in Classical Logic
Crítica, 2019 In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the ...
José Alfredo Amor
doaj +1 more source
DisBlue+: A distributed annotation-based C# compiler
Egyptian Informatics Journal, 2010 Many programming languages utilize annotations to add useful information to the program but they still result in more tokens to be compiled and hence slower compilation time.
Samir E. AbdelRahman, Amr M. AbdelLatif
doaj +1 more source
Logic, Game Theory, and Social Choice: What Do They Have in Common?
Axioms, 2022 The answer to the question above is that in all these domains axiomatic characterizations are given of, respectively, mathematical reasoning, certain notions from game theory, and certain social choice rules.
Harrie de Swart
doaj +1 more source
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
Semantics and Axiomatization for Stochastic Differential Dynamic Logic
CoRR, 2021 Building on previous work by André Platzer, we present a formal language for Stochastic Differential Dynamic Logic, and define its semantics, axioms and inference rules. Compared to the previous effort, our account of the Stochastic Differential Dynamic Logic follows closer to and is more compatible with the traditional account of the regular ...
Michael Roberts +2 more
openaire +2 more sources
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