A lazy and layered SMT(BV) solver for hard industrial verification problems

Bruttomesso, Roberto; Cimatti, A.; Franzen, Per Anders; Griggio, Alberto; Hanna, Z.; Nadel, A.; Palti, A.; Sebastiani, Roberto

doi:10.1007/978-3-540-73368-3_54

A lazy and layered SMT(BV) solver for hard industrial verification problems

Bruttomesso, Roberto;A. Cimatti;Franzen, Per Anders;Griggio, Alberto;Z. Hanna;A. Nadel;A. Palti;Sebastiani, Roberto

2007-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2007
			
	Titolo del volume (Proceedings title)
	
				Computer Aided Verification: 19th International Conference, CAV 2007
			
	Luogo di edizione (Place of publication)
	
				Berlin; Heidelberg
			
	Casa editrice (Publisher)
	
				Springer
			
	ISBN
	
				9783540733676
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-38149014613
			
	Codice WOS (WOS identifier)
	
				WOS:000248222700051
			
	Tutti gli autori
	
						Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Z., Hanna; A., Nadel; A., Palti; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)