Computation tree logic

Results: 41



#Item
1Temporal logic / Logic in computer science / Mathematical logic / Logic / Computation tree logic / Mathematics / Witness / Linear temporal logic / CTL*

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

Add to Reading List

Source URL: coccinelle.lip6.fr

Language: English
2Data-oriented parsing / Natural language parsing / Knowledge representation / Dilution of precision / Lexical functional grammar / Tree / Density estimation

Structured Parameter Estimation for LFG-DOP using Backoff Mary Hearne? and Khalil Sima’an† ? School of Computing, Dublin City University, Glasnevin, Dublin 9, Ireland † Institute for Logic, Language and Computation

Add to Reading List

Source URL: www.nclt.dcu.ie

Language: English - Date: 2006-07-24 06:56:07
3

Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨

Add to Reading List

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

Language: English - Date: 2013-02-08 18:19:59
    4

    Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3

    Add to Reading List

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

    Language: English - Date: 2013-02-08 18:19:59
      5

      Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3

      Add to Reading List

      Source URL: logic.las.tu-berlin.de

      Language: English - Date: 2015-06-17 12:07:40
        6

        Parametric Computation Tree Logic with Knowledge A. V. Jones1 , A. Lomuscio1 , M. Knapik2,3 , and W. Penczek2,4 1 Department of Computing, Imperial College London, UK

        Add to Reading List

        Source URL: csp2011.mimuw.edu.pl

        Language: English - Date: 2011-09-01 11:05:18
          7Mathematics / Linear temporal logic / CTL* / Interpretation / Computation tree logic / Kripke structure / Well-formed formula / Quantification / Model theory / Logic / Mathematical logic / Temporal logic

          A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2,

          Add to Reading List

          Source URL: software.imdea.org

          Language: English - Date: 2014-06-27 10:56:07
          8T1 / Q / Computer science / Computing / Temporal logic / Logic in computer science / Computation tree logic

          Zones From infinte to finite

          Add to Reading List

          Source URL: www2.imm.dtu.dk

          Language: English - Date: 2006-08-08 11:16:24
          9Temporal logic / Model checkers / Mathematics / Model checking / Linear temporal logic / Computation tree logic / PAT / Bisimulation / Probabilistic bisimulation / Theoretical computer science / Logic in computer science / Applied mathematics

          Contents Foreword xiii Preface

          Add to Reading List

          Source URL: www-i2.informatik.rwth-aachen.de

          Language: English - Date: 2008-04-04 05:03:58
          10Formal languages / Logical syntax / Model theory / Linear temporal logic / Well-formed formula / Interpretation / Function / Computation tree logic / Logic programming / Logic / Metalogic / Temporal logic

          A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria

          Add to Reading List

          Source URL: tocl.acm.org

          Language: English - Date: 2015-02-04 13:59:05
          UPDATE