Why were you initially drawn into formal methods?

<body><a href="xiab001-m.html">Why were you initially drawn into formal methods?</a> (for noframe browsers) </body>