Search results for "CTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	A foundation for flow-based program matching: using temporal logic and model checking.	POPL	2009	DBLP DOI BibTeX RDF	program matching, model checking, program transformation, ctl, bug finding
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	Zaid Altahat, Tzilla Elrad	Detection and Verification of Semantic Interaction In AOSD.	ITNG	2009	DBLP DOI BibTeX RDF	AOM, Modular Model Checking, AOP, CTL, Aspect Interaction
1	John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat	On the Expressivity of RoCTL*.	TIME	2009	DBLP DOI BibTeX RDF	reliability, Robustness, time, logic, CTL
1	Volker Weber	On the Complexity of Branching-Time Logics.	CSL	2009	DBLP DOI BibTeX RDF	complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic
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	Sven Feja, Daniel Fötsch	Model Checking with Graphical Validation Rules.	ECBS	2008	DBLP DOI BibTeX RDF	Model Checking, Workflow, Specification, Business Process, CTL
1	Samrat Mondal, Shamik Sural	A Verification Framework for Temporal RBAC with Role Hierarchy (Short Paper).	ICISS	2008	DBLP DOI BibTeX RDF	Temporal RBAC, Model Checking, Verification, Timed Automata, CTL
1	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
1	Astrid Rakow	Slicing Petri Nets with an Application to Workflow Verification.	SOFSEM	2008	DBLP DOI BibTeX RDF	Net Reduction, Workflow nets, Verification, Slicing, CTL
1	Sharon Shoham, Orna Grumberg	A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	3-valued semantics, Model checking games, Temporal logic, CTL, Counterexamples, Abstraction-Refinement
1	Abhay Vardhan, Mahesh Viswanathan	Learning to verify branching time properties.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification, Learning, CTL
1	Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng	Dual Flow Nets: Modeling the control/data-flow relation in embedded systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	Dual flow nets, tripartite graph, modeling, embedded systems, Petri nets, formal verification, symbolic model checking, CTL, LTL
1	Graeme Smith, John Derrick	Verifying data refinements using a model checker.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
1	Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar	Model Checking with Strong Fairness.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	fair discrete systems, temporal testers, model checking, temporal logic, fairness, CTL, LTL
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	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On Partitioning and Symbolic Model Checking.	FM	2005	DBLP DOI BibTeX RDF	state partitioning, BDD, Symbolic Model Checking, CTL
1	Will Marrero	Using BDDs to Decide CTL.	TACAS	2005	DBLP DOI BibTeX RDF	validity, satisfiability, BDDs, CTL, tableau
1	M. Jamshid Bagherzadeh, S. Arun-Kumar	A Multi-agent Framework Based on Communication and Concurrency.	IWDC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Verification, CCS, CTL
1	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel	Multi-valued symbolic model-checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality
1	Arie Gurfinkel, Marsha Chechik, Benet Devereux	Temporal Logic Query Checking: A Tool for Model Exploration.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	query checking, TLQSolver, model understanding, model checking, CTL, multi-valued logic
1	Arie Gurfinkel, Marsha Chechik	Generating Counterexamples for Multi-valued Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	De Morgan algebras, model-checking, CTL, counterexamples, witnesses
1	Arie Gurfinkel, Benet Devereux, Marsha Chechik	Model exploration with temporal logic query checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	multi-valued model-checking, query-checking, CTL
1	Alper Sen, Vijay K. Garg	Detecting Temporal Logic Predicates on the Happened-Before Model. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	distributed systems, model checking, temporal logic, CTL, predicate detection
1	Marsha Chechik, Wei Ding	Lightweight Reasoning about Program Correctness.	Information Systems Frontiers	2002	DBLP DOI BibTeX RDF	model checking, program analysis, abstract interpretation, CTL
1	Monika Maidl	The Common Fragment of CTL and LTL.	FOCS	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
1	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	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	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
1	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification