Marco Bozzano's Homepage





Contact Details

Marco Bozzano
Senior Researcher
Fondazione Bruno Kessler
Via Sommarive 18, Povo, 38123 Trento - ITALY
bozzano fbk eu
Ph.: +39 0461 314367


Topics: Formal Methods, Model Checking, Safety Assessment, Logic Programming, Linear Logic

Biography
Publications
PhD Thesis
Former member of the Logic Programming Group at DISI

The NuSMV web page
The MathSAT web page
The FSAP development and commercial web pages
GULP logo



Design and Safety Assessment of Critical Systems
CRC Press (Taylor & Francis Group), an Auerbach Book, 1st Ed., November 2010



Visits since 1/01/2001

Last Updated: 7 September 2011