Armando Tacchella

Armando Tacchella

Università degli Studi di Genova - Genova / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1752933
University of Genoa
person_outline Armando Tacchella's MOST POPULAR ARTICLES
1-) Nusmv 2: An opensource tool for symbolic model checkingA Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...International conference on computer aided verification, 359-364, 200223302002
2-) An abstraction-refinement approach to verification of artificial neural networksL Pulina, A TacchellaInternational Conference on Computer Aided Verification, 243-257, 20102792010
3-) Benefits of bounded model checking at an industrial settingF Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY VardiInternational Conference on Computer Aided Verification, 436-453, 20012772001
4-) QUBE: A system for deciding quantified boolean formulas satisfiabilityE Giunchiglia, M Narizzano, A TacchellaAutomated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 20011802001
5-) Challenging SMT solvers to verify neural networksL Pulina, A TacchellaAi Communications 25 (2), 117-135, 20121782012