Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Cavada, R.; Cimatti, A.; Franzen, Per Anders; Krishnamani, Kalyanasundaram; Roveri, Marco; Shyamasundar, R. K.

doi:10.1109/FMCAD.2007.4401984

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

R. Cavada;A. Cimatti;Franzen, Per Anders;Krishnamani, Kalyanasundaram;Roveri, Marco;R. K. Shyamasundar

2007-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2007
			
	Titolo del volume (Proceedings title)
	
				proceedings on Formal methods in computer-aided design FMCAD 2007
			
	Luogo di edizione (Place of publication)
	
				USA
			
	Casa editrice (Publisher)
	
				IEEE Computer Society
			
	Tutti gli autori
	
						R., Cavada; A., Cimatti; Franzen, Per Anders; Krishnamani, Kalyanasundaram; Roveri, Marco; R. K., Shyamasundar
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)