Symbolic

Results: 1438



#Item
41A Precise and Abstract Memory Model for C using Symbolic Values ∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

A Precise and Abstract Memory Model for C using Symbolic Values ∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2014-09-03 04:27:19
    42National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L6a: Symbolic models for stable nonlinear systems?

    National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L6a: Symbolic models for stable nonlinear systems?

    Add to Reading List

    Source URL: muwo1.unibo.it

    Language: English - Date: 2017-07-07 10:12:38
      43Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA,

      Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA,

      Add to Reading List

      Source URL: pagesperso.lina.univ-nantes.fr

      Language: English - Date: 2013-07-03 04:01:35
        44SYMBOLIC SIMULATION USING AUTOMATIC ABSTRACTION OF INTERNAL NODE VALUES a dissertation submitted to the department of ele tri al engineering and the ommittee on graduate studies

        SYMBOLIC SIMULATION USING AUTOMATIC ABSTRACTION OF INTERNAL NODE VALUES a dissertation submitted to the department of ele tri al engineering and the ommittee on graduate studies

        Add to Reading List

        Source URL: www-vlsi.stanford.edu

        Language: English - Date: 2015-03-11 17:45:32
          45Physical problem solving: Joint planning with symbolic, geometric, and dynamic constraints Ilker Yildirim*1 (), Tobias Gerstenberg*1 (), Basil Saeed1 (), Marc Toussaint2 (marc.tous

          Physical problem solving: Joint planning with symbolic, geometric, and dynamic constraints Ilker Yildirim*1 (), Tobias Gerstenberg*1 (), Basil Saeed1 (), Marc Toussaint2 (marc.tous

          Add to Reading List

          Source URL: ipvs.informatik.uni-stuttgart.de

          Language: English - Date: 2017-10-30 12:23:26
            46Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

            Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

            Add to Reading List

            Source URL: john.jperry.net

            Language: English - Date: 2017-10-22 23:32:37
              47BIBLIOGRAFIA • Lewis Carroll, Mathematical Recreations of Lewis Carroll, Symbolic Logic, Dover Publications, INC., New York and Berkeley Enterprises

              BIBLIOGRAFIA • Lewis Carroll, Mathematical Recreations of Lewis Carroll, Symbolic Logic, Dover Publications, INC., New York and Berkeley Enterprises

              Add to Reading List

              Source URL: repositorio.ul.pt

              - Date: 2010-10-02 21:59:44
                48Symbolic Diagnosis of Partially Observable Concurrent Systems ∗ Claude Jard † Thomas Chatain

                Symbolic Diagnosis of Partially Observable Concurrent Systems ∗ Claude Jard † Thomas Chatain

                Add to Reading List

                Source URL: pagesperso.lina.univ-nantes.fr

                Language: English - Date: 2013-07-03 04:01:35
                  49Symbolic Computation of Differential Equivalences ∗ Ar tifact

                  Symbolic Computation of Differential Equivalences ∗ Ar tifact

                  Add to Reading List

                  Source URL: blog.inf.ed.ac.uk

                  Language: English - Date: 2017-02-23 09:18:17
                    50Validation of Memory Accesses Through Symbolic Analyses Laure Gonnord Lyon1/LIP 2015, June 23rd - Google Seminar

                    Validation of Memory Accesses Through Symbolic Analyses Laure Gonnord Lyon1/LIP 2015, June 23rd - Google Seminar

                    Add to Reading List

                    Source URL: laure.gonnord.org

                    Language: English