Symbolic

Results: 1438



#Item
431

Quantification of Software Changes through Probabilistic Symbolic Execution Antonio Filieri1 , Corina S. Păsăreanu2 , and Guowei Yang3 1 2 3

Add to Reading List

Source URL: snapl.org

Language: English - Date: 2015-04-08 00:01:43
    432

    Author manuscript, published in "Journal of Symbolic Computation 46, 1402" DOI : j.jscHomotopy techniques for multiplication modulo triangular sets

    Add to Reading List

    Source URL: specfun.inria.fr

    Language: English - Date: 2013-10-21 07:16:16
      433

      Symbolic Model Checking for Probabilistic Processes Christel Baier1 , Edmund M. Clarke2 ? , Vasiliki Hartonas-Garmhausen2, Marta Kwiatkowska3 and Mark Ryan3 ?? 1 Fakult¨at f¨ur Mathematik & Informatik 2 Department of

      Add to Reading List

      Source URL: www.cs.bham.ac.uk.

      Language: English - Date: 2009-02-25 10:35:23
        434

        Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A New Generic Scheme for Functional Logic Programming with Constraints Francisco J. L´opez Fraguas · Mario Rodr´ıguez

        Add to Reading List

        Source URL: gpd.sip.ucm.es

        Language: English - Date: 2007-02-08 07:42:26
          435

          Ecient Generation of Counterexamples and Witnesses in Symbolic Model Checking E. M. Clarke O. Grumberg

          Add to Reading List

          Source URL: www.kenmcmil.com

          Language: English - Date: 2006-06-02 17:23:53
            436

            Introduction partially stochastic Time Petri Nets Characterization of symbolic runs Partial stochastic characterization of timed runs over DBM domains

            Add to Reading List

            Source URL: webspn.hit.bme.hu

            Language: English - Date: 2009-11-13 09:12:22
              437

              User Manual for KRUSADER Ken’s Rather Useless Symbolic Assembly Development Environment for the Replica 1 or is that Reasonably Useful? You decide!

              Add to Reading List

              Source URL: school.anhb.uwa.edu.au

              Language: English - Date: 2007-12-23 18:29:09
                438

                Interpolation and SAT-based Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark stud

                Add to Reading List

                Source URL: www.kenmcmil.com

                Language: English - Date: 2006-06-02 17:23:16
                  439

                  Mission Statement ‘Tramp of the South’ AIMS To erect a public sculpture in commemoration of Chaplin’s Tramp in an area undergoing profound social and economic changes. To create a symbolic and meaningful statue in

                  Add to Reading List

                  Source URL: www.cinemamuseum.org.uk

                  Language: English - Date: 2015-01-17 16:00:19
                    440

                    Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk.

                    Language: English - Date: 2009-06-30 03:41:27
                      UPDATE