Franzen, Per Anders

Nome completo

Franzen, Per Anders

Mostra records

Risultati 1 - 8 di 8 (tempo di esecuzione: 0.012 secondi).

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

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

2006-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Sebastiani, Roberto

2010-01-01 Franzen, Per Anders

2006-01-01 M., Bozzano; Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Z., Hanna; Z., Khasidashvili; A., Palti; Sebastiani, Roberto

2009-01-01 Franzen, Anders; Giorgini, Paolo; Griggio, Alberto; Ali, Raian

2008-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Sebastiani, Roberto

2006-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; A., Santuari; Sebastiani, Roberto

Titolo	Anno di pubblicazione	Autori Unitn
A lazy and layered SMT(BV) solver for hard industrial verification problems	1-gen-2007	Bruttomesso, RobertoA. CimattiFranzen, Per AndersGriggio, AlbertoZ. HannaA. NadelA. PaltiSebastiani, Roberto + -
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers	1-gen-2007	R. CavadaA. CimattiFranzen, Per AndersKrishnamani, KalyanasundaramRoveri, MarcoR. K. Shyamasundar + -
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis	1-gen-2006	Bruttomesso, RobertoA. CimattiFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto + -
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT	1-gen-2010	Franzen, Per Anders
Encoding RTL Constructs for MathSAT: a Preliminary Report	1-gen-2006	M. BozzanoBruttomesso, RobertoA. CimattiFranzen, Per AndersZ. HannaZ. KhasidashviliA. PaltiSebastiani, Roberto + -
Modeling and Analyzing Contextual Requirements	1-gen-2009	Franzen, AndersGiorgini, PaoloGriggio, AlbertoAli, Raian
The MathSAT 4 SMT Solver	1-gen-2008	Bruttomesso, RobertoA. CimattiFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto + -
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT)	1-gen-2006	Bruttomesso, RobertoA. CimattiFranzen, Per AndersGriggio, AlbertoA. SantuariSebastiani, Roberto + -