Search results for "CTL model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yang Zhao, Gianfranco Ciardo	Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.	ATVA	2009	DBLP DOI BibTeX RDF
2	Cornelia P. Inggs, Howard Barringer	CTL* model checking on a shared-memory architecture.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Model checking, Parallel processing, Multiprocessors, Shared memory, Automata
2	Taehoon Lee, Gihwon Kwon, Hyuksoo Han	CTL Model Checking for Boolean Program.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Lubos Brim, Karen Yorav, Jitka Zidkova	Assumption-based distribution of CTL model checking.	STTT	2005	DBLP DOI BibTeX RDF	Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
2	Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke	CTL Model Checking for Processing Simple XPath Queries.	TIME	2004	DBLP DOI BibTeX RDF
2	Batsayan Das, Dipankar Sarkar, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
2	Marsha Chechik, Wendy MacCaull	CTL Model-Checking over Logics with Non-Classical Negations. (PDF / PS)	ISMVL	2003	DBLP DOI BibTeX RDF
2	Gianfranco Ciardo, Radu Siminiceanu	Structural Symbolic CTL Model Checking of Asynchronous Systems.	CAV	2003	DBLP DOI BibTeX RDF
2	Cindy Eisner	Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard.	STTT	2002	DBLP DOI BibTeX RDF	Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking
2	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	STTT	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
2	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Symbolic guided search for CTL model checking.	DAC	2000	DBLP DOI BibTeX RDF
2	Jae-Young Jang, In-Ho Moon, Gary D. Hachtel	Iterative Abstraction-Based CTL Model Checking.	DATE	2000	DBLP DOI BibTeX RDF
2	Abelardo Pardo, Gary D. Hachtel	Incremental CTL Model Checking Using BDD Subsetting.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
2	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
2	Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose	CTL model checking based on forward state traversal.	ICCAD	1996	DBLP DOI BibTeX RDF	state traversal, partitioned transition relation, model checking, formal verification, CTL
1	Margherita Napoli, Mimmo Parente	Graded CTL Model Checking for Test Generation	CoRR	2011	DBLP BibTeX RDF
1	Fu Song, Tayssir Touili	Efficient CTL Model-Checking for Pushdown Systems.	CONCUR	2011	DBLP DOI BibTeX RDF
1	Margherita Napoli, Mimmo Parente	Graded CTL model checking for test generation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
1	Andreas Morgenstern, Klaus Schneider	Program Sketching via CTL* Model Checking.	SPIN	2011	DBLP DOI BibTeX RDF
1	Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002	A NuSMV Extension for Graded-CTL Model Checking.	CAV	2010	DBLP DOI BibTeX RDF
1	Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri	Towards formal security analysis of GTRBAC using timed automata.	SACMAT	2009	DBLP DOI BibTeX RDF	GTRBAC, model checking, timed automata, security analysis, ctl
1	Ehab Al-Shaer, Wilfredo Marrero, Adel El-Atawy, Khalid Elbadawi	Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.	ICNP	2009	DBLP DOI BibTeX RDF
1	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
1	Pieter Collins, Ivan S. Zapreev	Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.	RP	2009	DBLP DOI BibTeX RDF	CTL *, Model Checking, Computability, Dynamic Systems
1	Graeme Smith, Kirsten Winter	Model checking action system refinements.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
1	Rachid Hadjidj, Hanifa Boucheneb	Improving state class constructions for CTL* model checking of time Petri nets.	STTT	2008	DBLP DOI BibTeX RDF	State class spaces, CTL* properties, Model checking, Formal methods, Time Petri nets
1	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Formula-Dependent Abstraction for CTL Model Checking.	ICCSA	2008	DBLP DOI BibTeX RDF
1	Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Towards modelling and analysis of a coordination protocol for dynamic software adaptation.	CSTST	2008	DBLP DOI BibTeX RDF	consistency preservation, coordination protocol, modelling, analysis, self-adaptation, adaptation process
1	Laura Bozzelli	The Complexity of CTL* + Linear Past.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Miaomiao Zhang, Dang Van Hung, Zhiming Liu	Verification of Linear Duration Invariants by Model Checking CTL Properties.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Raffaella Gentilini, Klaus Schneider, B. Mishra	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.	LFCS	2007	DBLP DOI BibTeX RDF
1	Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser	Relating counterexamples to test cases in CTL model checking specifications.	A-MOST	2007	DBLP DOI BibTeX RDF	test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
1	Tathagato Rai Dastidar, P. P. Chakrabarti	A verification system for transient response of analog circuits.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Ana CTL, model checking, query language, Analog circuits, equivalence checking, transient response
1	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
1	Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin	Testing Distributed Systems Through Symbolic Model Checking.	FORTE	2007	DBLP DOI BibTeX RDF	global property, model checking of traces, trace checking, testing, asynchronous distributed systems
1	Thomas Noll, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo	Data Representation and Efficient Solution: A Decision Diagram Approach.	SFM	2007	DBLP DOI BibTeX RDF	edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation
1	Christopher James Langmead, Sumit Kumar Jha	Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.	WABI	2007	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Rachid Hadjidj	CTL* model checking for time Petri nets.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui	CTL Model Checking for Labelled Tree Queries.	TIME	2006	DBLP DOI BibTeX RDF
1	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
1	Harmen Kastenberg, Arend Rensink	Model Checking Dynamic States in GROOVE.	SPIN	2006	DBLP DOI BibTeX RDF
1	Alexander Bell, Boudewijn R. Haverkort	Distributed disk-based algorithms for model checking very large Markov chains.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Disk-based algorithms, CSL model checking, Distributed algorithms, Markov chains, State-space generation, Matrix-vector product
1	Abhay Vardhan, Mahesh Viswanathan	Learning to verify branching time properties.	ASE	2005	DBLP DOI BibTeX RDF	CTL, computational learning theory, infinite state systems
1	Will Marrero	Using BDDs to Decide CTL.	TACAS	2005	DBLP DOI BibTeX RDF	validity, satisfiability, BDDs, CTL, tableau
1	Beata Konikowska, Wojciech Penczek	On Designated Values in Multi-valued CTL* Model Checking.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Gianfranco Ciardo, Andrew S. Miner	SMART: The Stochastic Model checking Analyzer for Reliability and Timing.	QEST	2004	DBLP DOI BibTeX RDF
1	Fang Wang, Sofiène Tahar, Otmane Aït Mohamed	First-Order LTL Model Checking Using MDGs.	ATVA	2004	DBLP DOI BibTeX RDF
1	Maria Sorea	Lazy Approximation for Dense Real-Time Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti	Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures.	IWDC	2004	DBLP DOI BibTeX RDF
1	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	phase abstraction, automatic abstraction, CTL model checking, level-sensitive latch, bisimulation, model reduction
1	Sharon Shoham, Orna Grumberg	A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement.	CAV	2003	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu	Logical and Stochastic Modeling with SMART.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF
1	Ivana Cerná, Radek Pelánek	Distributed Explicit Fair Cycle Detection (Set Based Approach).	SPIN	2003	DBLP DOI BibTeX RDF
1	Jürgen Ruf, Thomas Kropf	Symbolic Verification and Analysis of Discrete Timed Systems.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking
1	Lubos Brim, Jitka Crhova, Karen Yorav	Using Assumptions to Distribute CTL Model Checking.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Formula-Dependent Equivalence for Compositional CTL Model Checking.	Formal Methods in System Design	2002	DBLP DOI BibTeX RDF
1	Walter Hartong, Lars Hedrich, Erich Barke	Model checking algorithms for analog verification.	DAC	2002	DBLP DOI BibTeX RDF	nonlinear analog systems, model checking, formal methods
1	Michael Huth	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Karsten Schmidt 0004	LoLA: A Low Level Analyser.	ICATPN	2000	DBLP DOI BibTeX RDF
1	Jørn Lind-Nielsen, Henrik Reif Andersen	Stepwise CTL Model Checking of State/Event Systems.	CAV	1999	DBLP DOI BibTeX RDF
1	Roderick Bloem, Kavita Ravi, Fabio Somenzi	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.	CAV	1999	DBLP DOI BibTeX RDF
1	Glenn Bruns, Patrice Godefroid	Model Checking Partial State Spaces with 3-Valued Temporal Logics.	CAV	1999	DBLP DOI BibTeX RDF
1	Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster	First-Order-CTL Model Checking.	FSTTCS	1998	DBLP DOI BibTeX RDF
1	In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley	Approximate reachability don't cares for CTL model checking.	ICCAD	1998	DBLP DOI BibTeX RDF
1	Udo Brockmeyer, Gunnar Wittich	Real-Time Verification of Statemate Designs.	CAV	1998	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	Sometimes and Not Never Re-revisited: On Branching Versus Linear Time.	CONCUR	1998	DBLP DOI BibTeX RDF
1	Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams	Efficient CTL* model checking for analysis of rainbow designs.	CHARME	1997	DBLP BibTeX RDF
1	Thomas Kropf, Jürgen Ruf	Using MTBDDs for discrete timed symbolic model checking.	ED&TC	1997	DBLP DOI BibTeX RDF
1	Adnan Aziz, Thomas R. Shiple, Vigyan Singhal	Formula-Dependent Equivalence for Compositional CTL Model Checking.	CAV	1994	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi	Another Look at LTL Model Checking.	CAV	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, binary decision diagrams, automatic verification
1	Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan	A Unified Approach to Language Containment and Fair CTL Model Checking.	DAC	1993	DBLP DOI BibTeX RDF
1	Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton	Automatic compositional minimization in CTL model checking.	ICCAD	1992	DBLP DOI BibTeX RDF
1	Jerry R. Burch	Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF