Search results for "Local model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Antonella Santone	Heuristic Search + Local Model Checking in Selective mu-Calculus.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	local model checking, model checking, temporal logic, heuristic search, State explosion, AND/OR graph
2	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
2	Tobias Schüle, Klaus Schneider	Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.	SEFM	2004	DBLP DOI BibTeX RDF
2	Radu Mateescu	Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.	TACAS	2002	DBLP DOI BibTeX RDF
2	Xiaoqun Du, Scott A. Smolka, Rance Cleaveland	Local Model Checking and Protocol Analysis.	STTT	1999	DBLP DOI BibTeX RDF	Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion
2	Bart Vergauwen, Johan Lewi	A Linear Local Model Checking Algorithm for CTL.	CONCUR	1993	DBLP DOI BibTeX RDF
2	Hardi Hungar, Bernhard Steffen	Local Model Checking for Context-Free Processes.	ICALP	1993	DBLP DOI BibTeX RDF
2	Colin Stirling, David Walker	CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
1	Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri	Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.	ICICS	2008	DBLP DOI BibTeX RDF
1	A. van Dam, Bas Ploeger, Tim A. C. Willemse	Instantiation for Parameterised Boolean Equation Systems.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Geng-Dian Huang, Bow-Yaw Wang	Complete SAT-Based Model Checking for Context-Free Processes.	ATVA	2007	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Three-valued logic in bounded model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	Proving forall-µ-Calculus Properties with SAT-Based Model Checking.	FORTE	2005	DBLP DOI BibTeX RDF
1	Nir Piterman, Moshe Y. Vardi	Global Model-Checking of Infinite-State Systems.	CAV	2004	DBLP DOI BibTeX RDF
1	Huimin Lin	A Graphical mu-Calculus and Local Model Checking.	J. Comput. Sci. Technol.	2002	DBLP DOI BibTeX RDF
1	Martin Lange	Local Model Checking Games for Fixed Point Logic with Chop.	CONCUR	2002	DBLP DOI BibTeX RDF
1	Antonella Santone, Gigliola Vaglini	Local model checking of Java bytecode.	SEKE	2002	DBLP DOI BibTeX RDF	model checking, temporal logic, software systems, tableau system
1	Ulf Nilsson, Johan Lübcke	Constraint Logic Programming for Local and Symbolic Model-Checking.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Armin Biere, Edmund M. Clarke, Yunshan Zhu	Multiple State and Single State Tableaux for Combining Local and Global Model Checking.	Correct System Design	1999	DBLP DOI BibTeX RDF
1	Perdita Stevens, Colin Stirling	Practical Model-Checking Using Games.	TACAS	1998	DBLP DOI BibTeX RDF
1	Allan Cheng	Petri Nets, Traces, and Local Model Checking.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Julian Rathke, Matthew Hennessy	Local Model Checking for Value-Passing Processes (Extended Abstract).	TACS	1997	DBLP DOI BibTeX RDF
1	Mads Dam, Lars-Åke Fredlund, Dilian Gurov	Toward Parametric Verification of Open Distributed Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
1	Y. S. Ramakrishna, Scott A. Smolka	Partial-Order Reduction in the Weak Modal Mu-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
1	Girish Bhat, Rance Cleaveland	Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.	TACAS	1996	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Javier Esparza, Angelika Mader	An Effective Tableau System for the Linear Time µ-Calculus.	ICALP	1996	DBLP DOI BibTeX RDF	linear-time -calculus, local model-checking, temporal logic, tableau systems
1	Allan Cheng	Petri Nets, Traces, and Local Model Checking.	AMAST	1995	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Scott A. Smolka	Local Model Checking for Real-Time Systems (Extended Abstract).	CAV	1995	DBLP DOI BibTeX RDF
1	Hardi Hungar, Bernhard Steffen	Local Model-Checking for Context-Free Processes.	Nord. J. Comput.	1994	DBLP BibTeX RDF
1	Hardi Hungar	Local Model Checking for Parallel Compositions of Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Colin Stirling	Local Model Checking for Infinite State Spaces.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
1	Colin Stirling, David Walker	Local Model Checking in the Modal mu-Calculus.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
1	Colin Stirling, David Walker	Local Model Checking in the Modal Mu-Calculus.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF