next up previous contents
Next: Contents   Contents

PdTRAV
Politecnico di Torino Reachability Analysis for Verification
(Release 2.0Beta)

$\textstyle \parbox{1.5in}{<DIV ALIGN=''CENTER''>
Gianpiero Cabodi
</DIV>}$ $\textstyle \parbox{1.5in}{<DIV ALIGN=''CENTER''>
Stefano Quer
</DIV>}$
 
$\textstyle \parbox{3in}{<DIV ALIGN=''CENTER''>
Politecnico di Torino
\\
Dip. di Automatica e Informatica
\\
Turin, ITALY
</DIV>}$





Gianpiero Cabodi
2001-03-25