Search results for "SAT-based model checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Alessandro Armando, Luca Compagna	SAT-based model-checking for security protocols analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
2	Geng-Dian Huang, Bow-Yaw Wang	Complete SAT-Based Model Checking for Context-Free Processes.	ATVA	2007	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Aarti Gupta, Pranav Ashar	DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems.	TACAS	2005	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
2	Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip	Symmetry Reduction in SAT-Based Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
2	Alessandro Armando, Luca Compagna, Pierre Ganty	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.	FME	2003	DBLP DOI BibTeX RDF	SAT encodings, security protocols, bounded model-checking, SAT-solvers
2	Kenneth L. McMillan	Interpolation and SAT-Based Model Checking.	CAV	2003	DBLP DOI BibTeX RDF
1	Aaron R. Bradley	SAT-Based Model Checking without Unrolling.	VMCAI	2011	DBLP DOI BibTeX RDF
1	Phillip James, Markus Roggenbach	Automatically Verifying Railway Interlockings using SAT-based Model Checking.	ECEASST	2010	DBLP BibTeX RDF
1	Geng-Dian Huang, Bow-Yaw Wang	Complete SAT-Based Model Checking for Context-Free Processes.	Int. J. Found. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Hana Chockler, Daniel Kroening, Mitra Purandare	Coverage in interpolation-based model checking.	DAC	2010	DBLP DOI BibTeX RDF
1	Yakir Vizel, Orna Grumberg	Interpolation-sequence based model checking.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Sergio Nocco, Stefano Quer	Strengthening Model Checking Techniques With Inductive Invariants.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
1	Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra	Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.	FMSE	2008	DBLP DOI BibTeX RDF	saml single sign-on, sat-based model checking, security protocols, bounded model checking
1	João Marques-Silva	Interpolant Learning and Reuse in SAT-Based Model Checking.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Nina Amla, Kenneth L. McMillan	Combining Abstraction Refinement and SAT-Based Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
1	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
1	Fang Yu, Bow-Yaw Wang	Sat-based Model Checking for Region Automata.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Bing Li, Fabio Somenzi	Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking.	TACAS	2006	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna	An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols.	Electr. Notes Theor. Comput. Sci.	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	Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan	An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.	CHARME	2005	DBLP DOI BibTeX RDF
1	Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna	Simultaneous SAT-Based Model Checking of Safety Properties.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
1	Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi	Efficient LTL compilation for SAT-based model checking.	ICCAD	2005	DBLP BibTeX RDF
1	Hyeong-Ju Kang, In-Cheol Park	SAT-based unbounded symbolic model checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar	F-Soft: Software Verification Platform.	CAV	2005	DBLP DOI BibTeX RDF
1	Fang Yu, Bow-Yaw Wang	Toward Unbounded Model Checking for Region Automata.	ATVA	2004	DBLP DOI BibTeX RDF	Region automata, Real-time systems, Model checking, Verification, Induction, BMC
1	Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer	An Optimized Symbolic Bounded Model Checking Engine.	CHARME	2003	DBLP DOI BibTeX RDF
1	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix	A hybrid verification approach: getting deep into the design.	DAC	2002	DBLP DOI BibTeX RDF	hybrid verification, symbolic model checking, symbolic trajectory evaluation
1	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF