Search results for "small model theorem"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
1	Pedro Baltazar, Paulo Mateus	Temporalization of Probabilistic Propositional Logic.	LFCS	2009	DBLP DOI BibTeX RDF
1	E. Allen Emerson	The Beginning of Model Checking: A Personal Perspective.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	model-theoretic, origins, model checking, synthesis, history
1	Changyan Zhou, Ratnesh Kumar	A Small Model Theorem for Bisimilarity Control Under Partial Observation.	IEEE T. Automation Science and Engineering	2007	DBLP DOI BibTeX RDF
1	Rajeev Alur, Swarat Chaudhuri	Branching Pushdown Tree Automata.	FSTTCS	2006	DBLP DOI BibTeX RDF
1	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with invisible ranking.	STTT	2006	DBLP DOI BibTeX RDF	Parametrized systems, Deductive verification, BDD techniques, Liveness, Automatic verification
1	Lee Momtahan	Towards a Small Model Theorem for Data Independent Systems in Alloy.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Witold Charatonik, Lilia Georgieva, Patrick Maier	Bounded Model Checking of Pointer Programs.	CSL	2005	DBLP DOI BibTeX RDF
1	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Shape Analysis by Predicate Abstraction.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Incomprehensible Ranking.	TACAS	2004	DBLP DOI BibTeX RDF
1	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck	Liveness with Invisible Ranking.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Igor Walukiewicz	Decision Procedure for Checking Validity of PAL Formulas.	IMYCS	1990	DBLP DOI BibTeX RDF
1	Igor Walukiewicz	Gentzen Type Axiomatizations for PAL.	MFCS	1990	DBLP DOI BibTeX RDF
1	Robert S. Streett, E. Allen Emerson	The Propositional Mu-Calculus is Elementary.	ICALP	1984	DBLP DOI BibTeX RDF

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