Results 281 to 290 of about 622,762 (333)

Symbols and the Hamiltonian Formalism

2020
This chapter begins with the conceptual definition of symbol of a differential operator in the classical and in the general algebraic situations and goes on to describe the general scheme of the Hamiltonian formalism in both of these situations.
openaire   +1 more source

A Formal Model for Detecting Bugs by Symbolic Execution of Programs

Programming and Computer Software, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerasimov, A. Yu., Kuts, D. O., Novikov, A. A.   +2 more
openaire   +2 more sources

Improving symbolic execution for statechart formalisms

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation, 2012
Symbolic execution is a program analysis technique that attempts to explore all possible paths through a program by using symbolic values rather than actual data values as inputs. When applied to Statecharts, a model-based formalism for reactive systems, symbolic execution can determine all feasible paths through a model up to a specified bound and ...
Daniel Balasubramanian, Corina Păsăreanu, Michael W. Whalen, Gábor Karasi, Michael Lowry   +4 more
openaire   +1 more source

Numerical-symbolic duality: a formal approach

Proceedings of the 1991 IEEE International Symposium on Intelligent Control, 2002
A formalization for the integration of numerical and symbolic processing schemes is presented. Mixing numerical data and symbolic values is a very efficient way of describing complex situations and handling a huge flow of data. An application of this formalization to intelligent control, namely, the control of the car parking maneuver, is given. >
D. Luzeaux, B. Zavidovique
openaire   +1 more source

Hilbert symbol for Lubin-Tate formal groups. II

Journal of Soviet Mathematics, 1985
This is the second part of an investigation of an explicit reciprocity law for the Hilbert symbol in Lubin-Tate extensions \(K/K_ 0\) with arbitrary residue characteristic p [see the first author, ibid. 27, 2885- 2901 (1984); translation from Zap. Nauchn. Semin Leningr. Otd. Mat. Inst. Steklova 114, 77-95 (1982; Zbl 0497.14019)].
Vostokov, S. V., Fesenko, I. B.
openaire   +1 more source

Formalizing Aggregate Signatures in the Symbolic Model

2021
Security protocols are a crucial part of most applications. In recent years, automated formal verification tools, such as Tamarin and ProVerif, were effectively used to prove security properties and find attacks on complex protocols, such as 5G and TLS.
openaire   +1 more source

Formal Specification of Symbolic-Probabilistic Systems

2004
We consider the formal specification and validation of systems where probabilistic information is not given by means of fixed values but as sets of probabilities. These sets will be intervals contained in (0,1] indicating the possible value of the real probability.
Natalia López, Manuel Núñez, Ismael Rodríguez   +2 more
openaire   +1 more source

Operational Semantics Based Formal Symbolic Simulation

1993
Abstract This paper describes the development of progressively more powerful and abstract hardware simulators. A small computer hardware design and description language pico-ELLA is then introduced, followed by its formal semantics. Using a number of small examples, we will then show the how this formal semantics may be used within a proof system as ...
openaire   +2 more sources

Formal Analysis of Symbolic Authenticity

2021
Hai Lin, Christopher Lynch
openaire   +1 more source

Neuro-Symbolic Synthesis of Formal Proofs

This paper investigates the synthesis of formal mathematical proofs through the integration of neural and symbolic AI paradigms. The limitations of purely symbolic automated theorem provers, such as combinatorial explosion and the need for handcrafted heuristics, have historically hindered their efficacy.
openaire   +1 more source