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

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