Good websites for Formal Verification ?

[thewhizkid]

Hi

I need introductory notes / white papers on Formal Verification.
Could you give me pointers to resources on the Web ?

Thanks
ThEWHizKiD

 

[VJ]

thewhizkid@rock.com (thewhizkid) wrote in message news:<31b3e6e5.0310062227.1ebc8ee0@posting.google.com>...

Hi

I need introductory notes / white papers on Formal Verification.
Could you give me pointers to resources on the Web ?

Thanks
ThEWHizKiD

Tryout the following:
www.verplex.com

 

[Spur]

thewhizkid@rock.com (thewhizkid) wrote in message news:<31b3e6e5.0310062227.1ebc8ee0@posting.google.com>...

Hi

I need introductory notes / white papers on Formal Verification.
Could you give me pointers to resources on the Web ?

Thanks
ThEWHizKiD

Try

http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/publications.html

 

[Jerker Hammarberg (DST)]

In fact, I put together a tutorial on Formal Verification in my Master's
thesis, maybe you'll find it interesting.

http://www.ida.liu.se/~x02jerha/Rapport.pdf , go for chapter 4.

/Jerker