Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008
DBLP:	db/conf/fmcad/fmcad2008.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 29  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. A Write-Based Solver for SAT Modulo the Theory of Arrays.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Jesse D. Bingham. Automatic Non-Interference Lemmas for Parameterized Model Checking.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer. Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Hana Chockler, Arie Gurfinkel, Ofer Strichman. Beyond Vacuity: Towards the Strongest Passing Formula.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Jason Baumgartner, Hari Mony, Adnan Aziz. Optimal Constraint-Preserving Netlist Simplification.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young. Mechanized Information Flow Analysis through Inductive Assertions.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li. Model Checking Nash Equilibria in MAD Distributed Systems.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Murali Talupur, Mark R. Tuttle. Going with the Flow: Parameterized Verification Using Message Flows.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper David S. Hardin. Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008
	Conference paper Dan Goldwasser, Ofer Strichman, Shai Fine. A Theory-Based Decision Heuristic for DPLL(T).	Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 2008	(0)	2008

Show item 1 to 10 of 29  

Your query returned 29 matches in the database.