Search results for "ACTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
2	Liang Xu, Wei Chen 0018, Yanyan Xu, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
2	Mikolaj Bojanczyk	The Common Fragment of ACTL and LTL.	FoSSaCS	2008	DBLP DOI BibTeX RDF
2	Wenhui Zhang	Model Checking with SAT-Based Characterization of ACTL Formulas.	ICFEM	2007	DBLP DOI BibTeX RDF
2	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
2	Yanyan Xu, Wei Chen 0018, Liang Xu, Wenhui Zhang	Evaluation of SAT-based Bounded Model Checking of ACTL Properties.	TASE	2007	DBLP DOI BibTeX RDF
2	Marina Bagic, Marijan Kunstic	Verification of Intelligent Agents with ACTL for Epistemic Reasoning.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
2	ShengYu Shen, Ying Qin, Sikun Li	Minimizing Counterexample of ACTL Property.	CHARME	2005	DBLP DOI BibTeX RDF
2	Robert Meolic, Alessandro Fantechi, Stefania Gnesi	Witness and Counterexample Automata for ACTL.	FORTE	2004	DBLP DOI BibTeX RDF
2	Bozena Wozna, Andrzej Zbrzezny	Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking.	FORMATS	2003	DBLP DOI BibTeX RDF
2	Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci	A Symbolic Model Checker for ACTL.	FM-Trends	1998	DBLP DOI BibTeX RDF
2	Tomohiro Yoneda, Yutaka Ohtsuka, Märt Saarepera	Verification of Parameterized Asynchronous Circuits: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	parameterized asynchronous circuits, ACTL model checking, Formal verification, abstraction, PVS
2	Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh	Efficient Detection of Vacuity in ACTL Formulaas.	CAV	1997	DBLP DOI BibTeX RDF
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	Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann	Model Checking Using Adaptive State and Data Abstraction.	CAV	1994	DBLP DOI BibTeX RDF	ACTL, state partitioning, model checking, abstract interpretation, binary decision diagrams (BDDs)
1	Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou	ACTL Local Model Update with Constraints.	KES	2010	DBLP DOI BibTeX RDF
1	Wenhui Zhang	Bounded Semantics of CTL and SAT-Based Verification.	ICFEM	2009	DBLP DOI BibTeX RDF
1	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
1	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Formula-Dependent Abstraction for CTL Model Checking.	ICCSA	2008	DBLP DOI BibTeX RDF
1	Cécile Braunstein, Emmanuelle Encrenaz	Using CTL formulae as component abstraction in a design and verification flow.	ACSD	2007	DBLP DOI BibTeX RDF
1	Francesco Ranzato, Francesco Tapparo	A New Efficient Simulation Equivalence Algorithm.	LICS	2007	DBLP DOI BibTeX RDF
1	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
1	Thomas Noll, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Santiago Escobar, José Meseguer	Symbolic Model Checking of Infinite-State Systems Using Narrowing.	RTA	2007	DBLP DOI BibTeX RDF
1	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Transition-based coverage estimation for symbolic model checking.	ASP-DAC	2006	DBLP DOI BibTeX RDF
1	Francesco Ranzato, Francesco Tapparo	An Abstract Interpretation Perspective on Linear vs. Branching Time.	APLAS	2005	DBLP DOI BibTeX RDF
1	Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig	Comprehensive Verification Framework for Dependability of Self-optimizing Systems.	ATVA	2005	DBLP DOI BibTeX RDF
1	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.	DALT	2005	DBLP DOI BibTeX RDF
1	Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos	Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.	PPAM	2005	DBLP DOI BibTeX RDF
1	Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.	ATVA	2004	DBLP DOI BibTeX RDF
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	Doron Bustan, Orna Grumberg	Simulation-based minimazation.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Simulation, Minimization
1	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	STTT	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
1	Hong Peng, Yassine Mokhtari, Sofiène Tahar	Environment Synthesis for Compositional Model Checking.	ICCD	2002	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith	Tree-Like Counterexamples in Model Checking.	LICS	2002	DBLP DOI BibTeX RDF
1	Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone	On ACTL Formulas Having Linear Counterexamples.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
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	Doron Bustan, Orna Grumberg	Simulation Based Minimization.	CADE	2000	DBLP DOI BibTeX RDF
1	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
1	Orna Kupferman, Moshe Y. Vardi	Vacuity Detection in Temporal Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
1	Michael Huth	The Interval Domain: A Matchmaker for aCTL and aPCTL.	Electr. Notes Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
1	Mihaela Sighireanu, Radu Mateescu	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.	STTT	1998	DBLP DOI BibTeX RDF
1	Xiao Jun Chen	Model Checking ACTL Constrained Processes.	Frontiers of Combining Systems (FroCos)	1996	DBLP BibTeX RDF
1	Dennis Dams, Orna Grumberg, Rob Gerth	Generation of Reduced Models for Checking Fragments of CTL.	CAV	1993	DBLP DOI BibTeX RDF
1	Ramin Hojati, Robert K. Brayton, Robert P. Kurshan	BDD-Based Debugging Of Design Using Language Containment and Fair CTL.	CAV	1993	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori	An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.	CAV	1991	DBLP DOI BibTeX RDF