The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ctl with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1990 (19) 1991-1993 (17) 1994-1995 (24) 1996-1997 (27) 1998 (18) 1999 (17) 2000 (23) 2001 (23) 2002 (42) 2003 (48) 2004 (57) 2005 (50) 2006 (68) 2007 (53) 2008 (49) 2009 (52) 2010 (17) 2011 (18) 2012-2013 (34) 2014 (25) 2015-2016 (26) 2017-2018 (33) 2019 (21) 2020 (15) 2021-2022 (30) 2023-2024 (16)
Publication types (Num. hits)
article(202) incollection(1) inproceedings(617) phdthesis(2)
Venues (Conferences, Journals, ...)
CAV(44) TIME(30) CoRR(27) CONCUR(24) TACAS(19) LICS(16) ATVA(13) Int. J. Softw. Tools Technol. ...(10) PLoS Comput. Biol.(10) Formal Methods Syst. Des.(9) Theor. Comput. Sci.(9) ICALP(8) LPAR(8) AAMAS(7) DAC(7) FoSSaCS(7) More (+10 of total 366)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 517 occurrences of 260 keywords

Results
Found 822 publication records. Showing 822 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
149Laura Bozzelli The Complexity of CTL* + Linear Past. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
112Paritosh K. Pandya Model Checking CTL*[DC]. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
110Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
103Orna Kupferman, Moshe Y. Vardi An automata-theortetic approach to modular model checking. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic, automata, modular verification
102Bernhard Josko Modelchecking of CTL Formulae under Liveness Assumptions. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
101Ahmet Kara 0002, Volker Weber, Martin Lange, Thomas Schwentick On the Hybrid Extension of CTL and CTL+. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
94Orna Kupferman, Moshe Y. Vardi On the Complexity of Branching Modular Model Checking (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
93Will Marrero Using BDDs to Decide CTL. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF validity, satisfiability, BDDs, CTL, tableau
92Thomas Wilke CTL+ is Exponentially more Succinct than CTL. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
85Moshe Y. Vardi Branching vs. Linear Time: Final Showdown. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
85Orna Kupferman, Moshe Y. Vardi Modular Model Checking. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
84Zuan Zhang An approach to hierarchy model checking via evaluating CTL hierarchically. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
83Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge Multi-Modal CTL: Completeness, Complexity, and an Application. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Computation Tree Logic (ctl), Social Laws, Normative Systems
76Abhay Vardhan, Mahesh Viswanathan 0001 Learning to verify branching time properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification, Learning, CTL
76Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel Multi-valued symbolic model-checking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
75Jatindra Kumar Deka Reasoning about Extremal Properties of Events. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
75E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
74Wenhui Zhang Bounded Semantics of CTL and SAT-Based Verification. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
74Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu A New Temporal Logic CTL[k-QDDC] and Its Verification. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF branching past, model checking, quantitative
74Amir Pnueli, Yonit Kesten A Deductive Proof System for CTL. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
73Beata Konikowska, Wojciech Penczek Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
65Tathagato Rai Dastidar, P. P. Chakrabarti 0001 A verification system for transient response of analog circuits. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response
65Dorel Lucanu, Gabriel Ciobanu Model Checking for Object Specifications in Hidden Algebra. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
65Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose CTL model checking based on forward state traversal. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF state traversal, partitioned transition relation, model checking, formal verification, CTL
65Alessandro Ferrante, Margherita Napoli, Mimmo Parente Graded-CTL: Satisfiability and Symbolic Model Checking. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
65Lan Zhang 0001, Ullrich Hustadt, Clare Dixon A Refined Resolution Calculus for CTL. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
65Silvio do Lago Pereira, Leliane Nunes de Barros Using alpha-ctl to Specify Complex Planning Goals. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001 Verification of Linear Duration Invariants by Model Checking CTL Properties. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Wei Huang 0026, Zhonghua Wen, Yunfei Jiang, Aixiang Chen Comparison Between Two Languages Used to Express Planning Goals: CTL and EAGLE. Search on Bibsonomy PRICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
65Thilo Hafer, Wolfgang Thomas Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
64Pieter Collins, Ivan S. Zapreev Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CTL *, Model Checking, Computability, Dynamic Systems
57Abhay Vardhan, Mahesh Viswanathan 0001 Learning to verify branching time properties. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CTL, computational learning theory, infinite state systems
56Charles Pecheur, Franco Raimondi Symbolic Model Checking of Logics with Actions. Search on Bibsonomy MoChArt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Tathagato Rai Dastidar, P. P. Chakrabarti 0001 A Verification System for Transient Response of Analog Circuits Using Model Checking. Search on Bibsonomy VLSI Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Michael J. Wooldridge Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. Search on Bibsonomy KI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Michael J. Wooldridge, Wiebe van der Hoek Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. Search on Bibsonomy COORDINATION The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Moshe Y. Vardi Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
56Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Equivalences for Fair Kripke Structures. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
56Batsayan Das, Dipankar Sarkar 0001, Santanu Chattopadhyay Model checking on state transition diagram. Search on Bibsonomy ASP-DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
56Marcelo Finger, Renata Wassermann Revising Specifications with CTL Properties Using Bounded Model Checking. Search on Bibsonomy SBIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model-checking, formal specification, belief revision, CTL
55Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour Model Checking Data-Aware Workflow Properties with CTL-FO+. Search on Bibsonomy EDOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Ming-Hsien Tsai 0001, Bow-Yaw Wang Formalization of CTL* in Calculus of Inductive Constructions. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Yulin Ding, Yan Zhang 0003 Algorithms for CTL System Modification. Search on Bibsonomy KES (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Jan Johannsen, Martin Lange CTL+ Is Complete for Double Exponential Time. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
55Cédric Roux, Emmanuelle Encrenaz CTL May Be Ambiguous When Model Checking Moore Machines. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Graeme Smith 0001, Kirsten Winter Model checking action system refinements. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, Refinement, CTL, action systems
48Volker Weber On the Complexity of Branching-Time Logics. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic
48Alper Sen 0001, Vijay K. Garg Detecting Temporal Logic Predicates on the Happened-Before Model. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed systems, model checking, temporal logic, CTL, predicate detection
47Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour Extending Model Checking to Data-Aware Temporal Properties of Web Services. Search on Bibsonomy WS-FM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Orna Kupferman, Moshe Y. Vardi Memoryful Branching-Time Logic. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Cécile Braunstein, Emmanuelle Encrenaz Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Mark Reynolds 0001 Verification of Multi-agent Systems Via Bounded Model Checking. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
47Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu Quantifying Similarities Between Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Micah Adler, Neil Immerman An n! lower bound on formula size. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lower bounds, temporal logic, Descriptive complexity
47Alper Sen 0001, Vijay K. Garg Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. Search on Bibsonomy OPODIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Franz Weitl, Burkhard Freitag Checking Content Consistency of Integrated Web Documents. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF document verification, content consistency, temporal description logics, model checking, CTL -
46Mark Reynolds 0001 A Tableau for CTL. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu Formula-Dependent Abstraction for CTL Model Checking. Search on Bibsonomy ICCSA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Cécile Braunstein, Emmanuelle Encrenaz CTL-property Transformations along an Incremental Design Process. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF System design and verification, Computational tree logic, Simulation relation
46Yulin Ding, Yan Zhang 0003 A Case Study for CTL Model Update. Search on Bibsonomy KSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Rachid Hadjidj, Hanifa Boucheneb Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Yulin Ding, Yan Zhang 0003 Model Updating CTL Systems. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Sharon Shoham, Orna Grumberg Monotonic Abstraction-Refinement for CTL. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Sharon Shoham, Orna Grumberg A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Sebastian Bauer 0004, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev On Non-Local Propositional and Local One-Variable Quantified CTL*. Search on Bibsonomy TIME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Abelardo Pardo, Gary D. Hachtel Incremental CTL Model Checking Using BDD Subsetting. Search on Bibsonomy DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
46Adnan Aziz, Thomas R. Shiple, Vigyan Singhal Formula-Dependent Equivalence for Compositional CTL Model Checking. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
46Ramin Hojati, Robert K. Brayton, Robert P. Kurshan BDD-Based Debugging Of Design Using Language Containment and Fair CTL. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Rachid Hadjidj, Hanifa Boucheneb Improving state class constructions for CTL* model checking of time Petri nets. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF State class spaces, CTL* properties, Model checking, Formal methods, Time Petri nets
45Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang Bounded Model Checking of CTL. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic model checking, bounded model checking, QBF, CTL*
45Jeffrey Ashley, Lawrence E. Holloway An Equivalent CTL Formulation for Condition Sequences. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computation tree logic (CTL), condition systems, temporal logic, discrete event systems (DES)
38Astrid Rakow Slicing Petri Nets with an Application to Workflow Verification. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Net Reduction, Workflow nets, Verification, Slicing, CTL
38Graeme Smith 0001, John Derrick Verifying data refinements using a model checker. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
38Benedikt Bollig, Paul Gastin Weighted versus Probabilistic Logics. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre µ-calculus Pushdown Module Checking with Imperfect State Information. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Laura Bozzelli, Régis Gascon Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Bernhard Möller, Peter Höfner, Georg Struth Quantales and Temporal Logics. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Laura Bozzelli Complexity Results on Branching-Time Pushdown Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Bernd Finkbeiner, Sven Schewe Semi-automatic Distributed Synthesis. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Qingliang Chen, Guanfeng Lv Bounded model checking knowledge and branching time in synchronous multi-agent systems. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
38Marko Samer, Helmut Veith A Syntactic Characterization of Distributive LTL Queries. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga Model Checking Discounted Temporal Properties. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti 0001 Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. Search on Bibsonomy IWDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Wiebe van der Hoek, Michael J. Wooldridge Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Cooperation logic, model checking, game theory, epistemic logic
38Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi Open Systems in Reactive Environments: Control and Synthesis. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Orna Kupferman, Moshe Y. Vardi Module Checking Revisited. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Neil Immerman, Moshe Y. Vardi Model Checking and Transitive-Closure Logic. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Karlis Cerans Deciding Properties of Integral Relational Automata. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Orna Bernholtz, Orna Grumberg Branching Time Temporal Logic and Amorphous Tree Automata. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
38Edmund M. Clarke, I. A. Draghicescu Expressibility results for linear-time and branching-time logics. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF linear-time logic, temporal logic, fairness, computation tree logics, branching-time logic
37Sharon Shoham, Orna Grumberg A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF 3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement
37Monika Maidl The Common Fragment of CTL and LTL. Search on Bibsonomy FOCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF action-based computation tree logic, linear time logic, common fragment, ACTL formulas, PSPACE-complete problem, path quantifiers, 1-weak Buchi automaton, automaton size, formula size, computational complexity, temporal logic, trees (mathematics), decidability, finite automata, expressive power, negation, CTL, LTL, inductive definition
37Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera 0001 The Satisfiability Problem for Probabilistic CTL. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal logics, Markov chains
37A. Prasad Sistla, Xiaodong Wang, Min Zhou Checking extended CTL properties using guarded quotient structures. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Symmetric systems, Guarded quotient structures, Model checking, Temporal logic, Program verification, State space reduction
37Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser 0001 Relating counterexamples to test cases in CTL model checking specifications. Search on Bibsonomy A-MOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
37Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke CTL Model Checking for Processing Simple XPath Queries. Search on Bibsonomy TIME The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 822 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license