Search results for "Global model checking"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Nir Piterman, Moshe Y. Vardi	Global Model-Checking of Infinite-State Systems.	CAV	2004	DBLP DOI BibTeX RDF
2	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	Mohamed Faouzi Atig	Global Model Checking of Ordered Multi-Pushdown Systems.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre	Recursion Schemes and Logical Reflection.	LICS	2010	DBLP DOI BibTeX RDF	Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes
1	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FOSSACS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
1	Hua Jiang, Xiang Li	An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus.	ITNG	2008	DBLP DOI BibTeX RDF	calculation complexity, NP and co-NP problem, Model Checking, mu-Calculus
1	Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre	Winning Regions of Higher-Order Pushdown Games.	LICS	2008	DBLP DOI BibTeX RDF	higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
1	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
1	Armin Biere, Edmund M. Clarke, Yunshan Zhu	Combining Local and Global Model Checking.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Bart Vergauwen, Johan Lewi	Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.	ICCI	1992	DBLP BibTeX RDF
1	Henrik Reif Andersen	Model Checking and Boolean Graphs.	ESOP	1992	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )