Results 1 to 10 of about 270,225 (234)
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 +2 more sources
A Denotational Semantics for SPARC TSO [PDF]
Logical Methods in Computer Science, 2019 The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult.
Ryan Kavanagh, Stephen Brookes
doaj +3 more sources
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 ...
K. Lano, J. Bicarregui, A. Evans
semanticscholar +2 more sources
An axiomatic semantics for the synchronous language Gentzen [PDF]
Journal of Computer and System Sciences, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
S. Tini
semanticscholar +5 more sources
An axiomatic semantics for Esterel
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
S. Tini
semanticscholar +3 more sources
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +5 more sources
Axiomatic systems and topological semantics for intuitionistic temporal logic [PDF]
European Conference on Logics in Artificial Intelligence, 2018 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.
Joseph Boudou +3 more
semanticscholar +5 more sources
Axiomatic semantics of communicating sequential processes
ACM Transactions on Programming Languages and Systems, 1984 Summary: A simple definition of the axiomatic semantics of Communicating Sequential Processes is presented. The most important aspect of the approach is that it allows dealing with the individual processes of a program in isolation from the other processes. The axiomatic semantics is used to prove the correctness of a program for partitioning sets.
N. Soundararajan
semanticscholar +3 more sources
Operational and axiomatic semantics of PCF
Proceedings of the 1990 ACM conference on LISP and functional programming, 1990 PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms for PCF include e-equivalence and the so-called “surjective pairing” axiom for pairs.
Brian T. Howard, John C. Mitchell
semanticscholar +2 more sources
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions [PDF]
Studia Logica: An International Journal for Symbolic Logic, 2021 In this paper we provide a simplified, possibilistic semantics for the logics K45(G), i.e. a many-valued counterpart of the classical modal logic K45 over the [0, 1]-valued Gödel fuzzy logic G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{
R. Rodríguez +3 more
semanticscholar +1 more source