\begin{center}
\setlength{\unitlength}{1mm}
\begin{picture}(110,50)(0,5)
\put(55,45){\makebox(0,0){formal methods}}
\put(20,5){\makebox(0,0){\framebox(37,9){formal specification}}}
\put(90,5){\makebox(0,0){\dashbox{1.5}(30,9){verified design}}}
\put(50,40){\line(-1,-1){30}}
\put(60,40){\line(1,-1){30}}
\end{picture}
\end{center}

